{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T05:48:43Z","timestamp":1784180923096,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642370748","type":"print"},{"value":"9783642370755","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37075-5_9","type":"book-chapter","created":{"date-parts":[[2013,2,18]],"date-time":"2013-02-18T19:37:23Z","timestamp":1361216243000},"page":"129-144","source":"Crossref","is-referenced-by-count":3,"title":["Comodels and Effects in Mathematical Operational Semantics"],"prefix":"10.1007","author":[{"given":"Faris","family":"Abou-Saleh","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dirk","family":"Pattinson","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/j.entcs.2011.09.016","volume":"276","author":"F. Abou-Saleh","year":"2011","unstructured":"Abou-Saleh, F., Pattinson, D.: Towards effects in mathematical operational semantics. Electr. Notes Theor. Comput. Sci.\u00a0276, 81\u2013104 (2011)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"2","key":"9_CR2","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1006\/inco.1995.1061","volume":"118","author":"J. Adamek","year":"1995","unstructured":"Adamek, J.: Recursive data types in algebraically w-complete categories. Information and Computation\u00a0118(2), 181\u2013190 (1995)","journal-title":"Information and Computation"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Ad\u00e1mek, J., Rosick\u00fd, J.: Locally Presentable and Accessible Categories. Cambridge University Press (1994)","DOI":"10.1017\/CBO9780511600579"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Hasuo, I., Jacobs, B., Sokolova, A.: Generic trace semantics via coinduction. Logical Methods in Computer Science\u00a03(4) (2007)","DOI":"10.2168\/LMCS-3(4:11)2007"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.tcs.2006.03.013","volume":"357","author":"M. Hyland","year":"2006","unstructured":"Hyland, M., Plotkin, G., Power, J.: Combining effects: sum and tensor. Theor. Comput. Sci.\u00a0357, 70\u201399 (2006)","journal-title":"Theor. Comput. Sci."},{"issue":"1-2","key":"9_CR6","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1016\/j.tcs.2006.07.007","volume":"366","author":"M. Hyland","year":"2006","unstructured":"Hyland, M., Power, J.: Discrete lawvere theories and computational effects. Theor. Comput. Sci.\u00a0366(1-2), 144\u2013162 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Johann, P., Simpson, A., Voigtl\u00e4nder, J.: A generic operational metatheory for algebraic effects. In: Proc. LICS 2010, pp. 209\u2013218. IEEE Computer Society (2010)","DOI":"10.1109\/LICS.2010.29"},{"key":"9_CR8","unstructured":"Kelly, G.M.: Basic concepts of enriched category theory. Reprints in Theory and Applications of Categories\u00a0(10), 1\u2013136 (2005)"},{"issue":"1","key":"9_CR9","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/j.entcs.2006.11.018","volume":"175","author":"B. Klin","year":"2007","unstructured":"Klin, B.: Bialgebraic methods in structural operational semantics. Electron. Notes Theor. Comput. Sci.\u00a0175(1), 33\u201343 (2007)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Kock, A.: Strong functors and monoidal monads. Archiv der Mathematik\u00a023 (1972)","DOI":"10.1007\/BF01304852"},{"issue":"1-2","key":"9_CR11","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/j.tcs.2004.07.024","volume":"327","author":"M. Lenisa","year":"2004","unstructured":"Lenisa, M., Power, J., Watanabe, H.: Category theory for operational semantics. Theor. Comput. Sci.\u00a0327(1-2), 135\u2013154 (2004)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"9_CR12","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E. Moggi","year":"1991","unstructured":"Moggi, E.: Notions of computation and monads. Inf. Comput.\u00a093(1), 55\u201392 (1991)","journal-title":"Inf. Comput."},{"key":"9_CR13","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":"9_CR14","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/j.entcs.2008.10.018","volume":"218","author":"G. Plotkin","year":"2008","unstructured":"Plotkin, G., Power, J.: Tensors of comodels and models for operational semantics. Electron. Notes Theor. Comput. Sci.\u00a0218, 295\u2013311 (2008)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45315-6_1","volume-title":"Foundations of Software Science and Computation Structures","author":"G.D. Plotkin","year":"2001","unstructured":"Plotkin, G.D., Power, J.: Adequacy for Algebraic Effects. In: Honsell, F., Miculan, M. (eds.) FOSSACS 2001. LNCS, vol.\u00a02030, pp. 1\u201324. Springer, Heidelberg (2001)"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/3-540-45931-6_24","volume-title":"Foundations of Software Science and Computation Structures","author":"G. Plotkin","year":"2002","unstructured":"Plotkin, G., Power, J.: Notions of Computation Determine Monads. In: Nielsen, M., Engberg, U. (eds.) FOSSACS 2002. LNCS, vol.\u00a02303, pp. 342\u2013356. Springer, Heidelberg (2002)"},{"key":"9_CR17","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/j.entcs.2006.04.025","volume":"161","author":"J. Power","year":"2006","unstructured":"Power, J.: Countable lawvere theories and computational effects. Electr. Notes Theor. Comput. Sci.\u00a0161, 59\u201371 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"9_CR18","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1016\/j.entcs.2006.04.018","volume":"158","author":"J. Power","year":"2006","unstructured":"Power, J.: Semantics for local computational effects. Electr. Notes Theor. Comput. Sci.\u00a0158, 355\u2013371 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Power, J., Shkaravska, O.: From comodels to coalgebras: State and arrays. Electron. Notes Theor. Comput. Sci.\u00a0106 (2004)","DOI":"10.1016\/j.entcs.2004.02.041"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Power, J., Turi, D.: A coalgebraic foundation for linear time semantics. In: Category Theory and Computer Science. Elsevier (1999)","DOI":"10.1016\/S1571-0661(05)80319-6"},{"key":"9_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-642-12032-9_5","volume-title":"Foundations of Software Science and Computational Structures","author":"S. Staton","year":"2010","unstructured":"Staton, S.: Completeness for Algebraic Theories of Local State. In: Ong, L. (ed.) FOSSACS 2010. LNCS, vol.\u00a06014, pp. 48\u201363. Springer, Heidelberg (2010)"},{"key":"9_CR22","unstructured":"Turi, D.: Functorial Operational Semantics and its Denotational Dual. PhD thesis, Free University, Amsterdam (June 1996)"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Turi, D.: Categorical modelling of structural operational rules: Case studies. In: Category Theory and Computer Science, pp. 127\u2013146 (1997)","DOI":"10.1007\/BFb0026985"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Turi, D., Plotkin, G.D.: Towards a mathematical operational semantics. In: LICS, pp. 280\u2013291 (1997)","DOI":"10.1109\/LICS.1997.614955"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37075-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T21:32:41Z","timestamp":1745962361000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37075-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642370748","9783642370755"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37075-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}