{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:03:41Z","timestamp":1767927821535,"version":"3.49.0"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2019,2,22]],"date-time":"2019-02-22T00:00:00Z","timestamp":1550793600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["320571"],"award-info":[{"award-number":["320571"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2019,11]]},"DOI":"10.1007\/s00236-019-00333-x","type":"journal-article","created":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T22:00:44Z","timestamp":1550786444000},"page":"585-617","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Distributive laws for monotone specifications"],"prefix":"10.1007","volume":"56","author":[{"given":"Jurriaan","family":"Rot","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,2,22]]},"reference":[{"key":"333_CR1","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/B978-044482830-9\/50021-7","volume-title":"Handbook of Process Algebra","author":"L Aceto","year":"2001","unstructured":"Aceto, L., Fokkink, W., Verhoef, C.: Structural operational semantics. In: Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.) Handbook of Process Algebra, pp. 197\u2013292. Elsevier, Amsterdam (2001). \n                    https:\/\/doi.org\/10.1016\/B978-044482830-9\/50021-7"},{"issue":"1\u20133","key":"333_CR2","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/S0304-3975(03)00378-5","volume":"311","author":"J Ad\u00e1mek","year":"2004","unstructured":"Ad\u00e1mek, J., Porst, H.E.: On tree coalgebras and coalgebra presentations. Theor. Comput. Sci. 311(1\u20133), 257\u2013283 (2004). \n                    https:\/\/doi.org\/10.1016\/S0304-3975(03)00378-5","journal-title":"Theor. Comput. Sci."},{"key":"333_CR3","series-title":"Cambridge Tracts in Mathematics","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511600579","volume-title":"Locally Presentable and Accessible Categories","author":"J Ad\u00e1mek","year":"1994","unstructured":"Ad\u00e1mek, J., Rosick\u00fd, J.: Locally Presentable and Accessible Categories. Cambridge Tracts in Mathematics. Cambridge University Press, Cambridge (1994). \n                    https:\/\/doi.org\/10.1017\/CBO9780511600579"},{"key":"333_CR4","unstructured":"Bartels, F.: On generalised coinduction and probabilistic specification formats. Ph.D. thesis, CWI, Amsterdam (2004)"},{"issue":"1","key":"333_CR5","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.: Bisimulation can\u2019t be traced. J. ACM 42(1), 232\u2013268 (1995). \n                    https:\/\/doi.org\/10.1145\/200836.200876","journal-title":"J. ACM"},{"issue":"2","key":"333_CR6","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/s00236-016-0271-4","volume":"54","author":"F Bonchi","year":"2017","unstructured":"Bonchi, F., Petrisan, D., Pous, D., Rot, J.: A general account of coinduction up-to. Acta Inf. 54(2), 127\u2013190 (2017). \n                    https:\/\/doi.org\/10.1007\/s00236-016-0271-4","journal-title":"Acta Inf."},{"key":"333_CR7","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to Lattices and Order","author":"BA Davey","year":"2002","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press, Cambridge (2002)","edition":"2"},{"key":"333_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-642-01492-5_1","volume-title":"Handbook of Weighted Automata","author":"M Droste","year":"2009","unstructured":"Droste, M., Kuich, W.: Semirings and formal power series. In: Droste, M., Kuich, W., Vogler, H. (eds.) Handbook of Weighted Automata, pp. 3\u201328. Springer, Berlin (2009). 10\/bj2xgm"},{"key":"333_CR9","unstructured":"Fiore, M., Staton, S.: Positive structural operational semantics and monotone distributive laws. In: CMCS Short Contributions, p.\u00a08 (2010)"},{"issue":"1","key":"333_CR10","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/S1571-0661(04)80908-3","volume":"44","author":"HP Gumm","year":"2001","unstructured":"Gumm, H.P., Schr\u00f6der, T.: Monoid-labeled transition systems. Electr. Notes Theor. Comput. Sci. 44(1), 185\u2013204 (2001). \n                    https:\/\/doi.org\/10.1016\/S1571-0661(04)80908-3","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"333_CR11","doi-asserted-by":"publisher","unstructured":"Hansen, H.H., Kupke, C., Rutten, J.: Stream differential equations: specification formats and solution methods. Log. Methods Comput. Sci. 13(1), (2017). \n                    https:\/\/doi.org\/10.23638\/LMCS-13(1:3)2017","DOI":"10.23638\/LMCS-13(1:3)2017"},{"issue":"1\u20132","key":"333_CR12","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/j.tcs.2004.07.022","volume":"327","author":"J Hughes","year":"2004","unstructured":"Hughes, J., Jacobs, B.: Simulations in coalgebra. Theor. Comput. Sci. 327(1\u20132), 71\u2013108 (2004). \n                    https:\/\/doi.org\/10.1016\/j.tcs.2004.07.022","journal-title":"Theor. Comput. Sci."},{"key":"333_CR13","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781316823187","volume-title":"Introduction to Coalgebra: Towards Mathematics of States and Observation","author":"B Jacobs","year":"2016","unstructured":"Jacobs, B.: Introduction to Coalgebra: Towards Mathematics of States and Observation. Cambridge Tracts in Theoretical Computer Science, vol. 59. Cambridge University Press, Cambridge (2016). \n                    https:\/\/doi.org\/10.1017\/CBO9781316823187"},{"key":"333_CR14","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1017\/CBO9780511792588.003","volume-title":"Advanced Topics in Bisimulation and Coinduction","author":"B Jacobs","year":"2011","unstructured":"Jacobs, B., Rutten, J.: An introduction to (co)algebras and (co)induction. In: JJMM, Rutten, Sangiorgi, D. (eds.) Advanced Topics in Bisimulation and Coinduction, pp. 38\u201399. Cambridge University Press, Cambridge (2011). \n                    https:\/\/doi.org\/10.1017\/CBO9780511792588.003"},{"issue":"3","key":"333_CR15","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1112\/blms\/7.3.294","volume":"7","author":"PT Johnstone","year":"1975","unstructured":"Johnstone, P.T.: Adjoint lifting theorems for categories of algebras. Bull. Lond. Math. Soc. 7(3), 294\u2013297 (1975). \n                    https:\/\/doi.org\/10.1112\/blms\/7.3.294","journal-title":"Bull. Lond. Math. Soc."},{"key":"333_CR16","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-642-04164-8_7","volume-title":"Semantics and Algebraic Specification","author":"B Klin","year":"2009","unstructured":"Klin, B.: Structural operational semantics for weighted transition systems. In: Palsberg, J. (ed.) Semantics and Algebraic Specification. LNCS, vol. 5700, pp. 121\u2013139. Springer, Berlin (2009). 10\/cxqzcf"},{"issue":"38","key":"333_CR17","doi-asserted-by":"publisher","first-page":"5043","DOI":"10.1016\/j.tcs.2011.03.023","volume":"412","author":"B Klin","year":"2011","unstructured":"Klin, B.: Bialgebras for structural operational semantics: an introduction. TCS 412(38), 5043\u20135069 (2011). \n                    https:\/\/doi.org\/10.1016\/j.tcs.2011.03.023","journal-title":"TCS"},{"key":"333_CR18","doi-asserted-by":"publisher","first-page":"79","DOI":"10.4204\/EPTCS.160.8","volume":"160","author":"Bartek Klin","year":"2014","unstructured":"Klin, B., Nachy\u0142a, B.: Distributive laws and decidable properties of SOS specifications. In: J.\u00a0Borgstr\u00f6m, S.\u00a0Crafa (eds.) Proceedings of EXPRESS\/SOS 2014. EPTCS, vol. 160, pp. 79\u201393 (2014). \n                    https:\/\/doi.org\/10.4204\/EPTCS.160.8","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"333_CR19","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1016\/j.jlamp.2016.08.005","volume":"87","author":"B Klin","year":"2017","unstructured":"Klin, B., Nachy\u0142a, B.: Some undecidable properties of SOS specifications. J. Log. Algebr. Meth. Program. 87, 94\u2013109 (2017). \n                    https:\/\/doi.org\/10.1016\/j.jlamp.2016.08.005","journal-title":"J. Log. Algebr. Meth. Program."},{"key":"333_CR20","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1016\/S1571-0661(05)80350-0","volume":"33","author":"M Lenisa","year":"2000","unstructured":"Lenisa, M., Power, J., Watanabe, H.: Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads. Electr. Notes Theor. Comput. Sci. 33, 230\u2013260 (2000). \n                    https:\/\/doi.org\/10.1016\/S1571-0661(05)80350-0","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"333_CR21","series-title":"Contemporary mathematics\u2014American Mathematical Society","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/104","volume-title":"Accessible Categories: The Foundations of Categorical Model Theory","author":"M Makkai","year":"1989","unstructured":"Makkai, M., Par\u00e9, R.: Accessible Categories: The Foundations of Categorical Model Theory. Contemporary mathematics\u2014American Mathematical Society, vol. 104. American Mathematical Society, Providence (1989). \n                    https:\/\/doi.org\/10.1090\/conm\/104"},{"issue":"1\u20132","key":"333_CR22","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/S0304-3975(01)00024-X","volume":"280","author":"J Power","year":"2002","unstructured":"Power, J., Watanabe, H.: Combining a monad and a comonad. Theor. Comput. Sci. 280(1\u20132), 137\u2013162 (2002). \n                    https:\/\/doi.org\/10.1016\/S0304-3975(01)00024-X","journal-title":"Theor. Comput. Sci."},{"key":"333_CR23","unstructured":"Rot, J.: Enhanced coinduction. Ph.D. thesis, Leiden University (2015)"},{"key":"333_CR24","doi-asserted-by":"publisher","first-page":"83","DOI":"10.4204\/EPTCS.255.6","volume":"255","author":"Jurriaan Rot","year":"2017","unstructured":"Rot, J.: Distributive laws for monotone specifications. In: Peters, K., Tini, S. (eds.) Proceedings of EXPRESS\/SOS 2017. EPTCS, vol. 255, pp. 83\u201397 (2017). \n                    https:\/\/doi.org\/10.4204\/EPTCS.255.6","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"issue":"6","key":"333_CR25","doi-asserted-by":"publisher","first-page":"1268","DOI":"10.1016\/j.jlamp.2016.08.001","volume":"85","author":"J Rot","year":"2016","unstructured":"Rot, J., Bonsangue, M.M.: Structural congruence for bialgebraic semantics. J. Log. Algebr. Methods Program. 85(6), 1268\u20131291 (2016). \n                    https:\/\/doi.org\/10.1016\/j.jlamp.2016.08.001","journal-title":"J. Log. Algebr. Methods Program."},{"issue":"1\u20133","key":"333_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(02)00895-2","volume":"308","author":"J Rutten","year":"2003","unstructured":"Rutten, J.: Behavioural differential equations: a coinductive calculus of streams, automata, and power series. TCS 308(1\u20133), 1\u201353 (2003)","journal-title":"TCS"},{"issue":"1","key":"333_CR27","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"JJMM Rutten","year":"2000","unstructured":"Rutten, J.J.M.M.: Universal coalgebra: a theory of systems. TCS 249(1), 3\u201380 (2000)","journal-title":"TCS"},{"key":"333_CR28","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1016\/S1571-0661(04)80972-1","volume":"45","author":"JJMM Rutten","year":"2001","unstructured":"Rutten, J.J.M.M.: Elements of stream calculus (an extensive exercise in coinduction). Electr. Notes Theor. Comput. Sci. 45, 358\u2013423 (2001). \n                    https:\/\/doi.org\/10.1016\/S1571-0661(04)80972-1","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"333_CR29","doi-asserted-by":"publisher","unstructured":"Staton, S.: General structural operational semantics through categorical logic. In: LICS, pp. 166\u2013177. IEEE Computer Society (2008). \n                    https:\/\/doi.org\/10.1109\/LICS.2008.43","DOI":"10.1109\/LICS.2008.43"},{"key":"333_CR30","doi-asserted-by":"publisher","unstructured":"Turi, D., Plotkin, G.: Towards a mathematical operational semantics. In: LICS, pp. 280\u2013291. IEEE Computer Society (1997). \n                    https:\/\/doi.org\/10.1109\/LICS.1997.614955","DOI":"10.1109\/LICS.1997.614955"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-019-00333-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-019-00333-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-019-00333-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,21]],"date-time":"2020-02-21T19:06:15Z","timestamp":1582311975000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-019-00333-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2,22]]},"references-count":30,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2019,11]]}},"alternative-id":["333"],"URL":"https:\/\/doi.org\/10.1007\/s00236-019-00333-x","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,2,22]]},"assertion":[{"value":"6 April 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 February 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 February 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}