{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T05:50:35Z","timestamp":1743054635757,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642284113"},{"type":"electronic","value":"9783642284120"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28412-0_14","type":"book-chapter","created":{"date-parts":[[2012,2,18]],"date-time":"2012-02-18T04:14:28Z","timestamp":1329538468000},"page":"209-225","source":"Crossref","is-referenced-by-count":0,"title":["Towards Bialgebraic Semantics for the Linear Time \u2013 Branching Time Spectrum"],"prefix":"10.1007","author":[{"given":"Ana Paula","family":"Maldonado","sequence":"first","affiliation":[]},{"given":"Lu\u00eds","family":"Monteiro","sequence":"additional","affiliation":[]},{"given":"Markus","family":"Roggenbach","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. Technical Report DAIMI FN-19, University of Aarhus (1981)"},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"530","DOI":"10.1007\/3-540-58043-3_28","volume-title":"A Decade of Concurrency","author":"J. Rutten","year":"1994","unstructured":"Rutten, J., Turi, D.: Initial Algebra and Final Coalgebra Semantics for Concurrency. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1993. LNCS, vol.\u00a0803, pp. 530\u2013582. Springer, Heidelberg (1994)"},{"key":"14_CR3","first-page":"280","volume-title":"Proc. 12th LICS Conference","author":"D. Turi","year":"1997","unstructured":"Turi, D., Plotkin, G.: Towards a mathematical operational semantics. In: Proc. 12th LICS Conference, pp. 280\u2013291. IEEE, Computer Society Press (1997)"},{"key":"14_CR4","unstructured":"Hoare, C.A.R.: Communicating Sequencial Processes. Series in Computer Science. Prentice-Hall International (1985)"},{"key":"14_CR5","volume-title":"The Theory and Practice of Concurrency","author":"A. Roscoe","year":"1998","unstructured":"Roscoe, A.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"14_CR6","unstructured":"van Glabbeek, R.: The linear time\u2013branching time spectrum I: the semantics of concrete, sequential processes. In: Bergstra, J., Ponse, A., Smolka, S. (eds.) Handbook of Process Algebra, pp. 3\u201399. Elsevier (2001)"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-642-03429-9_17","volume-title":"Recent Trends in Algebraic Development Techniques","author":"L. Monteiro","year":"2009","unstructured":"Monteiro, L.: A Coalgebraic Characterization of Behaviours in the Linear Time \u2013 Branching Time Spectrum. In: Corradini, A., Montanari, U. (eds.) WADT 2008. LNCS, vol.\u00a05486, pp. 251\u2013265. Springer, Heidelberg (2009)"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1007\/978-3-642-10452-7_20","volume-title":"Formal Methods: Foundations and Applications","author":"E. Freire","year":"2009","unstructured":"Freire, E., Monteiro, L.: Defining Behaviours by Quasi-finality. In: Oliveira, M.V.M., Woodcock, J. (eds.) SBMF 2009. LNCS, vol.\u00a05902, pp. 290\u2013305. Springer, Heidelberg (2009)"},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-58027-1_1","volume-title":"Mathematical Foundations of Programming Semantics","author":"P. Aczel","year":"1994","unstructured":"Aczel, P.: Final Universes of Processes. In: Brookes, S., Main, M., Melton, A., Mislove, M., Schmidt, D. (eds.) MFPS 1993. LNCS, vol.\u00a0802, pp. 1\u201328. Springer, Heidelberg (1994)"},{"key":"14_CR10","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(01)00019-6","volume":"280","author":"U. Wolter","year":"2002","unstructured":"Wolter, U.: CSP, partial automata, and coalgebras. Theoretical Computer Science\u00a0280, 3\u201334 (2002)","journal-title":"Theoretical Computer Science"},{"key":"14_CR11","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1016\/j.tcs.2006.05.030","volume":"360","author":"M. Boreale","year":"2006","unstructured":"Boreale, M., Gadducci, F.: Processes as formal power series: A coinductive approach to denotational semantics. Theoretical Computer Science\u00a0360, 440\u2013458 (2006)","journal-title":"Theoretical Computer Science"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Power, J., Turi, D.: A coalgebraic foundation for linear time semantics. In: Hofmann, M., Rosolini, G., Pavlovic, D. (eds.) Conference on Category Theory and Computer Science, CTCS 1999. Electronic Notes in Theoretical Computer Science, vol.\u00a029, pp. 259\u2013274. Elsevier (1999)","DOI":"10.1016\/S1571-0661(05)80319-6"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Jacobs, B.: Trace semantics for coalgebras. In: Adamek, J., Milius, S. (eds.) Coalgebraic Methods in Computer Science. Electronic Notes in Theoretical Computer Science, vol.\u00a0106, pp. 167\u2013184. Elsevier (2004)","DOI":"10.1016\/j.entcs.2004.02.031"},{"issue":"4:11","key":"14_CR14","first-page":"1","volume":"3","author":"I. Hasuo","year":"2007","unstructured":"Hasuo, I., Jacobs, B., Sokolova, A.: Generic trace semantics via coinduction. Logical Methods in Computer Science\u00a03(4:11), 1\u201336 (2007)","journal-title":"Logical Methods in Computer Science"},{"issue":"20","key":"14_CR15","doi-asserted-by":"publisher","first-page":"1041","DOI":"10.1093\/logcom\/exn093","volume":"5","author":"B. Jacobs","year":"2010","unstructured":"Jacobs, B., Sokolova, A.: Exemplaric expressivity of modal logic. Journal of Logica and Computation\u00a05(20), 1041\u20131068 (2010)","journal-title":"Journal of Logica and Computation"},{"issue":"2","key":"14_CR16","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/j.ic.2007.10.006","volume":"207","author":"B. Klin","year":"2009","unstructured":"Klin, B.: Bialgebraic methods and modal logic in structural operational semantics. Inf. Comput.\u00a0207(2), 237\u2013257 (2009)","journal-title":"Inf. Comput."},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Klin, B.: Structural operational semantics and modal logic, revisited. In: Jacobs, B., Niqui, M., Rutten, J., Silva, A. (eds.) Coalgebraic Methods in Computer Science. Electronic Notes in Theoretical Computer Science, vol.\u00a0264, pp. 155\u2013175. Elsevier (2010)","DOI":"10.1016\/j.entcs.2010.07.019"},{"issue":"2","key":"14_CR18","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1016\/0890-5401(92)90013-6","volume":"100","author":"J.F. Groote","year":"1992","unstructured":"Groote, J.F., Vaandrager, F.W.: Structural operational semantics and bisimulations as a congruence. Information and Computation\u00a0100(2), 202\u2013260 (1992)","journal-title":"Information and Computation"},{"issue":"1","key":"14_CR19","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1145\/200836.200876","volume":"42","author":"B. Bloom","year":"1995","unstructured":"Bloom, B., Istrail, S., Meyer, A.R.: Bisimulation can\u2019t be traced. J. ACM\u00a042(1), 232\u2013268 (1995)","journal-title":"J. ACM"},{"key":"14_CR20","unstructured":"Monteiro, L., Maldonado, A.P.: Towards bialgebraic semantics based on quasi-final coalgebras. Technical Report FCT\/UNL-DI 1-2011, CITI and DI, Faculdade de Ci\u00eancias e Tecnologia, UNL (2011), \n                    \n                      http:\/\/ctp.di.fct.unl.pt\/~lm\/publications\/MM-TR-1-2011.pdf"},{"key":"14_CR21","unstructured":"Maldonado, A.P., Monteiro, L., Roggenbach, M.: Towards bialgebraic semantics for CSP. Technical Report FCT\/UNL-DI 3-2010, CITI and DI, Faculdade de Ci\u00eancias e Tecnologia, UNL (2010), \n                    \n                      http:\/\/ctp.di.fct.unl.pt\/~apm\/publications\/MMR-TR-3-2010.pdf"},{"key":"14_CR22","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1016\/j.tcs.2005.11.007","volume":"354","author":"M. Roggenbach","year":"2006","unstructured":"Roggenbach, M.: CSP-CASL\u2014A new integration of process algebra and algebraic specification. Theoretical Computer Science\u00a0354, 42\u201371 (2006)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28412-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T19:47:16Z","timestamp":1556394436000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28412-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642284113","9783642284120"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28412-0_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}