{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:19Z","timestamp":1761611299761,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540580430"},{"type":"electronic","value":"9783540484233"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58043-3_28","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:10:14Z","timestamp":1330269014000},"page":"530-582","source":"Crossref","is-referenced-by-count":36,"title":["Initial algebra and final coalgebra semantics for concurrency"],"prefix":"10.1007","author":[{"given":"Jan","family":"Rutten","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele","family":"Turi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"13_CR1","unstructured":"S. Abramsky. The lazy lambda calculus. In D.A. Turner, editor, Research Topics in Functional Programming, pages 65\u2013116. Addison-Wesley, 1990."},{"key":"13_CR2","unstructured":"P. Aczel. Non-well-founded sets. Number 14 in CSLI Lecture Notes. Stanford University, 1988."},{"key":"13_CR3","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1016\/0890-5401(89)90054-0","volume":"82","author":"A. Arnold","year":"1989","unstructured":"A. Arnold and A. Dicky. An algebraic characterization of transition system equivalences. Information and Computation, 82:198\u2013229, 1989.","journal-title":"Information and Computation"},{"key":"13_CR4","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/S0019-9958(82)80026-0","volume":"52","author":"M.A. Arbib","year":"1982","unstructured":"M.A. Arbib and E.G. Manes. Parameterized data types do not need highly constrained parameters. Information and Control, 52:139\u2013158, 1982.","journal-title":"Information and Control"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"P. Aczel and N. Mendler. A final coalgebra theorem. In D.H. Pitt, D.E. Ryeheard, P. Dybjer, A.M. Pitts, and A. Poign\u00e9, editors, Proceedings Category Theory and Computer Science, volume 389 of Lecture Notes in Computer Science, pages 357\u2013365, 1989.","DOI":"10.1007\/BFb0018361"},{"issue":"3","key":"13_CR6","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0022-0000(89)90027-5","volume":"39","author":"P. America","year":"1989","unstructured":"P. America and J.J.M.M. Rutten. Solving reflexive domain equations in a category of complete metric spaces. Journal of Computer and System Sciences, 39(3):343\u2013375, 1989.","journal-title":"Journal of Computer and System Sciences"},{"key":"13_CR7","volume-title":"Technical Report 764","author":"E. Badouel","year":"1987","unstructured":"E. Badouel. Une construction syst\u00e9matique de mod\u00e8les \u00e0 partir de sp\u00e9cifications op\u00e9rationnelles structurelles. Technical Report 764, INRIA, Rennes, 1987."},{"key":"13_CR8","unstructured":"E. Badouel. Models of concurrency. Handout at the fifth ESSLLI, Faculdade de Letras, Universidade de Lisboa, 1993."},{"issue":"2","key":"13_CR9","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/0304-3975(93)90076-6","volume":"114","author":"M. Barr","year":"1993","unstructured":"M. Barr. Terminal coalgebras in well-founded set theory. Theoretical Computer Science, 114(2):299\u2013315, 1993. A revised version has appeared under the title \u201cTerminal coalgebras for endofunctors on sets\u201d, McGill University, Montreal, 1993.","journal-title":"Theoretical Computer Science"},{"key":"13_CR10","doi-asserted-by":"crossref","first-page":"504","DOI":"10.1007\/BF01941131","volume":"28","author":"J.W. Bakker de","year":"1988","unstructured":"J.W. de Bakker and J.-J.Ch. Meyer. Metric semantics for concurrency. BIT, 28:504\u2013529, 1988.","journal-title":"BIT"},{"key":"13_CR11","volume-title":"Report CS-R9335","author":"F. Breugel van","year":"1993","unstructured":"F. van Breugel. Three metric domains of processes for bisimulation. Report CS-R9335, CWI, Amsterdam, 1993. To appear in Proceedings of the 9th International Conference on Mathematical Foundations of Programming Semantics, LNCS, Springer-Verlag, 1993."},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"M. Barr and C. Wells. Toposes, Triples and Theories. Springer-Verlag, 1985.","DOI":"10.1007\/978-1-4899-0021-0"},{"key":"13_CR13","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1016\/S0019-9958(82)91250-5","volume":"54","author":"J.W. Bakker de","year":"1982","unstructured":"J.W. de Bakker and J.I. Zucker. Processes and the denotational semantics of concurrency. Information and Control, 54:70\u2013120, 1982.","journal-title":"Information and Control"},{"key":"13_CR14","volume-title":"Technical Report 749","author":"P. Darondeau","year":"1987","unstructured":"P. Darondeau and B. Gamati\u00e9. Modelling infinitary behaviours of communicating systems. Technical Report 749, INRIA, Rennes, 1987."},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"S. Eilenberg and G.M. Kelly. Closed categories. In S. Eilenberg et al., editor, Proc. of La Jolla Conf. on Categorical Algebra, pages 421\u2013562. Springer-Verlag, 1966.","DOI":"10.1007\/978-3-642-99902-4_22"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"M. Fiore. A coinduction principle for recursive data types based on bisimulation. In Proceedings of the Eighth IEEE Symposium on Logic In Computer Science, 1993.","DOI":"10.1109\/LICS.1993.287595"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"R.J. van Glabbeek. Full abstraction in structural operational semantics (extended abstract). In M. Nivat, C. Rattray, T. Rus, and G. Scollo, editors, Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, pages 77\u201384. Springer-Verlag, 1993.","DOI":"10.1007\/978-1-4471-3227-1_7"},{"key":"13_CR18","unstructured":"J.A. Goguen, J.W. Thatcher, and E.G. Wagner. An initial algebra approach to the specification, correctness and implementation of abstract data types. In R. Yeh, editor, Current Trends in Programming Methodology, pages 80\u2013149. Prentice-Hall, 1978."},{"issue":"2","key":"13_CR19","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1016\/0890-5401(92)90013-6","volume":"100","author":"J.F. Groote","year":"1992","unstructured":"J.F. Groote and F. Vaandrager. Structured operational semantics and bisimulation as a congruence. Information and Computation, 100(2):202\u2013260, 1992.","journal-title":"Information and Computation"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"M.C.B. Hennessy. A fully abstract denotational model for higher-order processes. In Proceedings 8th Annual Symposium on Logic in Computer Science. IEEE Computer Society Press, 1993.","DOI":"10.1109\/LICS.1993.287568"},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"M.C.B. Hennessy and G.D. Plotkin. Full abstraction for a simple parallel programming language. In J. Be\u010dv\u00e1\u0159, editor, Proc. 8th Int'l Symp. on Mathematical Foundations of Computer Science, volume 74 of Lecture Notes in Computer Science, pages 108\u2013120. Springer-Verlag, 1979.","DOI":"10.1007\/3-540-09526-8_8"},{"key":"13_CR22","unstructured":"B. Jacobs. Semantics of weakening and contraction. To appear in Annals of Pure and Applied Logic, 1992."},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"R.E. Kent. The metric closure powerspace construction. In M. Main, A. Melton, M. Mislove, and D. Schmidt, editors, Proceedings of the 3rd MFPS, volume 298 of Lecture Notes in Computer Science, pages 173\u2013199. Springer-Verlag, 1987.","DOI":"10.1007\/3-540-19020-1_9"},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"S. Mac Lane. Categories for the Working Mathematician, volume 5 of Graduate Texts in Mathematics. Springer-Verlag, 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"issue":"4","key":"13_CR25","first-page":"637","volume":"15","author":"F.E.J. Linton","year":"1966","unstructured":"F.E.J. Linton. Autonomous equational categories. J. of Mathematics and Mechanics, 15(4):637\u2013642, 1966.","journal-title":"J. of Mathematics and Mechanics"},{"key":"13_CR26","unstructured":"S. Mac Lane and I. Moerdijk. Sheaves in geometry and logic: a first introduction to topos theory. Universitext. Springer-Verlag, 1992."},{"key":"13_CR27","doi-asserted-by":"crossref","unstructured":"E.G. Manes. Algebraic theories, volume 26 of Graduate Texts in Mathematics. Springer-Verlag, 1976.","DOI":"10.1007\/978-1-4612-9860-1"},{"key":"13_CR28","unstructured":"J. Meseguer and J.A. Goguen. Initiality, induction, and computability. In M. Nivat and J.C. Reynolds, editors, Algebraic Methods in Semantics, pages 459\u2013541. Cambridge University Press, 1985."},{"key":"13_CR29","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"13_CR30","doi-asserted-by":"crossref","unstructured":"D.M.R. Park. Concurrency and automata on infinite sequences. In P. Deussen, editor, Proceedings 5th GI Conference, volume 104 of Lecture Notes in Computer Science, pages 167\u2013183. Springer-Verlag, 1981.","DOI":"10.1007\/BFb0017309"},{"key":"13_CR31","unstructured":"A.M. Pitts. A co-induction principle for recursively defined domains. Technical Report 252, Computer Laboratory, University of Cambridge, 1992. To appear in Theoretical Computer Science."},{"key":"13_CR32","unstructured":"G.D. Plotkin. Post-graduate lecture notes in advanced domain theory (incorporating the \u201cPisa Notes\u201d). Department of Computer Science, University of Edinburgh, 1981."},{"key":"13_CR33","unstructured":"G.D. Plotkin. A structured approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981."},{"key":"13_CR34","doi-asserted-by":"crossref","unstructured":"J.J.M.M. Rutten and D. Turi. On the foundations of final semantics: Nonstandard sets, metric spaces, partial orders. In J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Proceedings of the REX workshop on Semantics: Foundations and Applications, volume 666 of Lecture Notes in Computer Science, pages 477\u2013530. Springer-Verlag, 1993. FTP-available at ftp.cwi.nl as pub\/CWIreports\/AP\/CS-R9241.Z.","DOI":"10.1007\/3-540-56596-5_45"},{"key":"13_CR35","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1017\/S096012950000147X","volume":"2","author":"J.J.M.M. Rutten","year":"1992","unstructured":"J.J.M.M. Rutten. Processes as terms: non-well-founded models for bisimulation. Mathematical Structures in Computer Science, 2:257\u2013275, 1992.","journal-title":"Mathematical Structures in Computer Science"},{"key":"13_CR36","doi-asserted-by":"crossref","unstructured":"J.J.M.M. Rutten. A structural co-induction theorem. Technical Report CS-R9346, CWI, 1993. To appear in Proceedings of the Ninth Conference on the Mathematical Foundations of Programming Semantics, Lecture Notes in Computer Science, Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58027-1_4"},{"key":"13_CR37","doi-asserted-by":"crossref","unstructured":"J. Sifakis. Property preserving homomorphisms of transition systems. In E. Clarke and D. Kozen, editors, Logics of programs, volume 164 of Lecture Notes in Computer Science, pages 458\u2013473. Springer-Verlag, 1984.","DOI":"10.1007\/3-540-12896-4_381"},{"key":"13_CR38","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1137\/0211062","volume":"11","author":"M.B. Smyth","year":"1982","unstructured":"M.B. Smyth and G.D. Plotkin. The category-theoretic solution of recursive domain equations. SIAM J. Comput, 11:761\u2013783, 1982.","journal-title":"SIAM J. Comput"},{"key":"13_CR39","unstructured":"D. Turi and B. Jacobs. On final semantics for applicative and non-deterministic languages. Fifth Biennal Meeting on Category Theory and Computer Science, Amsterdam, September 1993."},{"key":"13_CR40","unstructured":"G. Winskel and M. Nielsen. Models for concurrency. Handout at the TEMPUS Summer School on Algebraic and Categorical Methods in Computer Science, 1993."}],"container-title":["Lecture Notes in Computer Science","A Decade of Concurrency Reflections and Perspectives"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58043-3_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:19:12Z","timestamp":1742595552000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58043-3_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540580430","9783540484233"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/3-540-58043-3_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}