{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:30:28Z","timestamp":1725467428526},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634553"},{"type":"electronic","value":"9783540695523"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0026985","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T06:12:36Z","timestamp":1132380756000},"page":"127-146","source":"Crossref","is-referenced-by-count":6,"title":["Categorical modelling of structural operational rules case studies"],"prefix":"10.1007","author":[{"given":"Daniele","family":"Turi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,20]]},"reference":[{"key":"8_CR1","unstructured":"P. Aczel. Non-well-founded sets. Number 14 in Lecture Notes. CSLI, 1988."},{"key":"8_CR2","unstructured":"M.A. Arbib and E.G. Manes. Arrows, Structures, and Functors. Academic Press, 1975."},{"key":"8_CR3","doi-asserted-by":"publisher","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"},{"issue":"2","key":"8_CR4","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/0304-3975(93)90076-6","volume":"144","author":"M. Barr","year":"1993","unstructured":"M. Barr. Terminal coalgebras in well-founded set theory. Theoretical Computer Science, 144(2):299\u2013315, 1993.","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"8_CR5","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1145\/200836.200876","volume":"42","author":"B. Bloom","year":"1995","unstructured":"B. Bloom, S. Istrail, and A.R. Meyer. Bisimulation can't be traced. Journal of the ACM, 42(1):232\u2013268, jan 1995. A preliminary report appeared in Proc. 3rd LICS, pages 229\u2013239, 1988.","journal-title":"Journal of the ACM"},{"key":"8_CR6","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.T. Yeh, editor, Current Trends in Programming Methodology, volume IV, pages 80\u2013149. Prentice Hall, 1978."},{"key":"8_CR7","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 MFCS, volume 74 of LNCS, pages 108\u2013120. Springer-Verlag, 1979.","DOI":"10.1007\/3-540-09526-8_8"},{"key":"8_CR8","doi-asserted-by":"crossref","first-page":"294","DOI":"10.1112\/blms\/7.3.294","volume":"7","author":"P.T. Johnstone","year":"1975","unstructured":"P.T. Johnstone. Adjoint lifting theorems for categories of algebras. Bull. London Math. Soc., 7:294\u2013297, 1975.","journal-title":"Bull. London Math. Soc."},{"key":"8_CR9","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/BF01304852","volume":"23","author":"A. Kock","year":"1972","unstructured":"A. Kock. Strong functors and monoidal monads. Arch. Math. (Basel), 23:113\u2013120, 1972.","journal-title":"Arch. Math. (Basel)"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"R. Milner. A Calculus of Communicating Systems, volume 92 of LNCS. Springer Verlag, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"R. Milner. Functions as processes. In M.S. Paterson, editor, Proc. of 17th ICALP, 1990.","DOI":"10.1007\/BFb0032030"},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E. Moggi","year":"1991","unstructured":"E. Moggi. Notions of computation and monads. Information and Computation, 93:55\u201392, 1991.","journal-title":"Information and Computation"},{"key":"8_CR13","unstructured":"G.D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981."},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"J. Rutten and D. Turi. On the foundations of final semantics: non-standard sets, metric spaces, partial orders. In J. de Bakker et al., editors, Proc. of the REX workshop Semantics \u2014 Foundations and Applications, volume 666 of LNCS, pages 477\u2013530. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56596-5_45"},{"key":"8_CR15","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1137\/0211062","volume":"11","author":"M. Smyth","year":"1982","unstructured":"M. Smyth and G. Plotkin. The category-theoretic solution of recursive domain equations. SIAM J. Comput., 11:761\u2013783, 1982.","journal-title":"SIAM J. Comput."},{"key":"8_CR16","unstructured":"D. Turi. Functorial Operational Semantics and its Denotational Dual. PhD thesis, Free University, Amsterdam, June 1996. Accessible from <http:\/\/www.dcs.ed.ac.uk\/home\/dt\/>."},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"D. Turi and G.D. Plotkin. Towards a mathematical operational semantics. In Proc. 12th LICS Conf. IEEE, Computer Society Press, 1997.","DOI":"10.1109\/LICS.1997.614955"}],"container-title":["Lecture Notes in Computer Science","Category Theory and Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026985","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,4]],"date-time":"2019-02-04T21:13:37Z","timestamp":1549314817000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026985"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634553","9783540695523"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0026985","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}