{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T10:23:53Z","timestamp":1725791033250},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642548291"},{"type":"electronic","value":"9783642548307"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54830-7_25","type":"book-chapter","created":{"date-parts":[[2014,3,21]],"date-time":"2014-03-21T13:30:31Z","timestamp":1395408631000},"page":"381-395","source":"Crossref","is-referenced-by-count":1,"title":["Combining Bialgebraic Semantics and Equations"],"prefix":"10.1007","author":[{"given":"Jurriaan","family":"Rot","sequence":"first","affiliation":[]},{"given":"Marcello","family":"Bonsangue","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"Aceto, L., Fokkink, W., Verhoef, C.: Structural operational semantics. In: Handbook of Process Algebra, pp. 197\u2013292. Elsevier Science (2001)","DOI":"10.1016\/B978-044482830-9\/50021-7"},{"key":"25_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1007\/3-540-57208-2_33","volume-title":"CONCUR\u201993","author":"J.C.M. Baeten","year":"1993","unstructured":"Baeten, J.C.M., Verhoef, C.: A congruence theorem for structured operational semantics with predicates. In: Best, E. (ed.) CONCUR 1993. LNCS, vol.\u00a0715, pp. 477\u2013492. Springer, Heidelberg (1993)"},{"key":"25_CR3","unstructured":"Bartels, F.: On generalised coinduction and probabilistic specification formats. PhD thesis, CWI, Amsterdam (April 2004)"},{"issue":"1","key":"25_CR4","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\u00a042(1), 232\u2013268 (1995)","journal-title":"J. ACM"},{"key":"25_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/978-3-642-40206-7_9","volume-title":"CALCO","author":"M.M. Bonsangue","year":"2013","unstructured":"Bonsangue, M.M., Hansen, H.H., Kurz, A., Rot, J.: Presenting distributive laws. In: Heckel, R., Milius, S. (eds.) CALCO 2013. LNCS, vol.\u00a08089, pp. 95\u2013109. Springer, Heidelberg (2013)"},{"key":"25_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1007\/3-540-45694-5_30","volume-title":"CONCUR 2002 - Concurrency Theory","author":"M.G. Buscemi","year":"2002","unstructured":"Buscemi, M.G., Montanari, U.: A first order coalgebraic model of \u03c0-calculus early observational equivalence. In: Brim, L., Jan\u010dar, P., K\u0159et\u00ednsk\u00fd, M., Ku\u010dera, A. (eds.) CONCUR 2002. LNCS, vol.\u00a02421, pp. 449\u2013465. Springer, Heidelberg (2002)"},{"issue":"1-2","key":"25_CR7","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/S0304-3975(01)00025-1","volume":"280","author":"A. Corradini","year":"2002","unstructured":"Corradini, A., Heckel, R., Montanari, U.: Compositional SOS and beyond: a coalgebraic view of open systems. Theor. Comput. Sci.\u00a0280(1-2), 163\u2013192 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"25_CR8","unstructured":"Fiore, M., Staton, S.: Positive structural operational semantics and monotone distributive laws. CMCS Short Contributions,\u00a08 (2010)"},{"issue":"1-2","key":"25_CR9","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.\u00a0327(1-2), 71\u2013108 (2004)","journal-title":"Theor. Comput. Sci."},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Klin, B.: Adding recursive constructs to bialgebraic semantics. JLAP\u00a060-61, 259\u2013286 (2004)","DOI":"10.1016\/j.jlap.2004.03.005"},{"key":"25_CR11","series-title":"Lecture Notes in Computer Science","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.\u00a05700, pp. 121\u2013139. Springer, Heidelberg (2009)"},{"issue":"38","key":"25_CR12","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\u00a0412(38), 5043\u20135069 (2011)","journal-title":"TCS"},{"key":"25_CR13","unstructured":"Kupke, C., Niqui, M., Rutten, J.: Stream differential equations: concrete formats for coinductive definitions. Tech. Report No. RR-11-10, Oxford University (2011)"},{"issue":"1-2","key":"25_CR14","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."},{"key":"25_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-642-40922-6_4","volume-title":"Programming Languages","author":"K. Madlener","year":"2013","unstructured":"Madlener, K., Smetsers, S., van Eekelen, M.: Modular bialgebraic semantics and algebraic laws. In: Du Bois, A.R., Trinder, P. (eds.) SBLP 2013. LNCS, vol.\u00a08129, pp. 46\u201360. Springer, Heidelberg (2013)"},{"issue":"2","key":"25_CR16","first-page":"119","volume":"2","author":"R. Milner","year":"1992","unstructured":"Milner, R.: Functions as processes. MSCS\u00a02(2), 119\u2013141 (1992)","journal-title":"MSCS"},{"key":"25_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-540-31982-5_3","volume-title":"Foundations of Software Science and Computational Structures","author":"M.R. Mousavi","year":"2005","unstructured":"Mousavi, M.R., Reniers, M.A.: Congruence for structural congruences. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol.\u00a03441, pp. 47\u201362. Springer, Heidelberg (2005)"},{"issue":"1","key":"25_CR18","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/S1571-0661(04)80914-9","volume":"44","author":"G.D. Plotkin","year":"2001","unstructured":"Plotkin, G.D.: Bialgebraic semantics and recursion (extended abstract). Electr. Notes Theor. Comput. Sci.\u00a044(1), 285\u2013288 (2001)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"25_CR19","doi-asserted-by":"crossref","unstructured":"Pous, D., Sangiorgi, D.: Enhancements of the bisimulation proof method. In: Advanced Topics in Bisimulation and Coinduction, pp. 233\u2013289. Cambridge University Press (2012)","DOI":"10.1017\/CBO9780511792588.007"},{"key":"25_CR20","unstructured":"Rot, J., Bonchi, F., Bonsangue, M.M., Pous, D., Rutten, J.J.M.M., Silva, A.: Enhanced coalgebraic bisimulation, http:\/\/www.liacs.nl\/~jrot\/up-to.pdf"},{"key":"25_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/978-3-642-35843-2_32","volume-title":"SOFSEM 2013: Theory and Practice of Computer Science","author":"J. Rot","year":"2013","unstructured":"Rot, J., Bonsangue, M., Rutten, J.: Coalgebraic bisimulation-up-to. In: van Emde Boas, P., Groen, F.C.A., Italiano, G.F., Nawrocki, J., Sack, H. (eds.) SOFSEM 2013. LNCS, vol.\u00a07741, pp. 369\u2013381. Springer, Heidelberg (2013)"},{"issue":"1","key":"25_CR22","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"J. Rutten","year":"2000","unstructured":"Rutten, J.: Universal coalgebra: a theory of systems. TCS\u00a0249(1), 3\u201380 (2000)","journal-title":"TCS"},{"issue":"1-3","key":"25_CR23","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\u00a0308(1-3), 1\u201353 (2003)","journal-title":"TCS"},{"issue":"5","key":"25_CR24","first-page":"447","volume":"8","author":"D. Sangiorgi","year":"1998","unstructured":"Sangiorgi, D.: On the bisimulation proof method. MSCS\u00a08(5), 447\u2013479 (1998)","journal-title":"MSCS"},{"key":"25_CR25","doi-asserted-by":"crossref","unstructured":"Sangiorgi, D.: An introduction to Bisimulation and Coinduction. Cambridge University Press (2012)","DOI":"10.1017\/CBO9780511777110"},{"key":"25_CR26","unstructured":"Sangiorgi, D., Walker, D.: The Pi-Calculus - a theory of mobile processes. Cambridge University Press (2001)"},{"key":"25_CR27","doi-asserted-by":"crossref","unstructured":"Turi, D., Plotkin, G.: Towards a mathematical operational semantics. In: LICS, pp. 280\u2013291. IEEE Computer Society (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-54830-7_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,11]],"date-time":"2023-07-11T11:22:15Z","timestamp":1689074535000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54830-7_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642548291","9783642548307"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54830-7_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}