{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,16]],"date-time":"2025-05-16T04:02:46Z","timestamp":1747368166703,"version":"3.40.5"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031889295","type":"print"},{"value":"9783031889301","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-88930-1_3","type":"book-chapter","created":{"date-parts":[[2025,5,15]],"date-time":"2025-05-15T06:12:55Z","timestamp":1747289575000},"page":"49-74","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Bialgebraic Representation of\u00a0Coordination Frameworks"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6304-6311","authenticated-orcid":false,"given":"Harald","family":"K\u00f6nig","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7553-9858","authenticated-orcid":false,"given":"Uwe","family":"Wolter","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,5,16]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","unstructured":"Aceto, L., Fokkink, W.J., Verhoef, C.: Structural operational semantics. In: Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.) Handbook of Process Algebra, pp. 197\u2013292. North-Holland \/ Elsevier (2001). https:\/\/doi.org\/10.1016\/b978-044482830-9\/50021-7, https:\/\/doi.org\/10.1016\/b978-044482830-9\/50021-7","DOI":"10.1016\/b978-044482830-9\/50021-7"},{"key":"3_CR2","unstructured":"Barr, M., Wells, C.: Category Theory for Computing Sciences. Prentice Hall (1990)"},{"key":"3_CR3","unstructured":"Barr, M., Wells, C.: Toposes, Triples, and Theories. Springer-Verlag (2000)"},{"key":"3_CR4","volume-title":"On generalised coinduction and probabilistic specification formats: distributive laws in coalgebraic modelling","author":"F Bartels","year":"2004","unstructured":"Bartels, F.: On generalised coinduction and probabilistic specification formats: distributive laws in coalgebraic modelling. Vrije Universiteit Amsterdam, Academisch Proefschrift (2004)"},{"key":"3_CR5","doi-asserted-by":"publisher","unstructured":"Bloom, B., Istrail, S., Meyer, A.R.: Bisimulation can\u2019t be traced. In: Ferrante, J., Mager, P. (eds.) Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, San Diego, California, USA, January 10-13, 1988, pp. 229\u2013239. ACM Press (1988). https:\/\/doi.org\/10.1145\/73560.73580, https:\/\/doi.org\/10.1145\/73560.73580","DOI":"10.1145\/73560.73580"},{"key":"3_CR6","unstructured":"Bonchi, F., Piedeleu, R., Sobocinski, P., Zanasi, F.: Bialgebraic semantics for string diagrams. arXiv preprint arXiv:1906.01519 (2019)"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Deantoni, J.: Modeling the behavioral semantics of heterogeneous languages and their coordination. In: 2016 Architecture-Centric Virtual Integration (ACVI), pp. 12\u201318. IEEE (2016)","DOI":"10.1109\/ACVI.2016.9"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Firore, M., Turi, D.: Semantics of name and value passing. In: Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, pp. 93\u2013104. IEEE (2001)","DOI":"10.1109\/LICS.2001.932486"},{"issue":"3","key":"3_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3179993","volume":"51","author":"C Gomes","year":"2018","unstructured":"Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: a survey. ACM Computing Surveys (CSUR) 51(3), 1\u201333 (2018)","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"3_CR10","doi-asserted-by":"publisher","unstructured":"Goncharov, S., Milius, S., Schr\u00f6der, L., Tsampas, S., Urbat, H.: Towards a higher-order mathematical operational semantics. Proc. ACM Program. Lang. 7(POPL), 632\u2013658 (2023). https:\/\/doi.org\/10.1145\/3571215, https:\/\/doi.org\/10.1145\/3571215","DOI":"10.1145\/3571215"},{"issue":"2","key":"3_CR11","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1016\/0890-5401(92)90013-6","volume":"100","author":"JF Groote","year":"1992","unstructured":"Groote, J.F., Vaandrager, F.: Structured operational semantics and bisimulation as a congruence. Inf. Comput. 100(2), 202\u2013260 (1992)","journal-title":"Inf. Comput."},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Hennessy, M.: A distributed Pi-calculus. Cambridge University Press (2007)","DOI":"10.1017\/CBO9780511611063"},{"issue":"1","key":"3_CR13","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/S0304-3975(99)00213-3","volume":"239","author":"B Jacobs","year":"2000","unstructured":"Jacobs, B.: Object-oriented hybrid systems of coalgebras plus monoid actions. Theoret. Comput. Sci. 239(1), 41\u201395 (2000)","journal-title":"Theoret. Comput. Sci."},{"key":"3_CR14","doi-asserted-by":"publisher","unstructured":"Jacobs, B.: Introduction to Coalgebra: Towards Mathematics of States and Observation, Cambridge Tracts in Theoretical Computer Science, vol.\u00a059. Cambridge University Press (2016). https:\/\/doi.org\/10.1017\/CBO9781316823187","DOI":"10.1017\/CBO9781316823187"},{"issue":"4","key":"3_CR15","doi-asserted-by":"publisher","first-page":"588","DOI":"10.1016\/j.ic.2005.11.003","volume":"204","author":"M Kick","year":"2006","unstructured":"Kick, M., Power, J., Simpson, A.: Coalgebraic semantics for timed processes. Inf. Comput. 204(4), 588\u2013609 (2006)","journal-title":"Inf. Comput."},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Klin, B.: Bialgebraic operational semantics and modal logic. In: 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), pp. 336\u2013345. IEEE (2007)","DOI":"10.1109\/LICS.2007.13"},{"key":"3_CR17","doi-asserted-by":"publisher","unstructured":"Klin, B.: Bialgebras for structural operational semantics: an introduction. Theor. Comput. Sci. 412(38), 5043\u20135069 (2011). https:\/\/doi.org\/10.1016\/j.tcs.2011.03.023, https:\/\/doi.org\/10.1016\/j.tcs.2011.03.023","DOI":"10.1016\/j.tcs.2011.03.023"},{"key":"3_CR18","unstructured":"Klin, B., Nachyla, B.: Presenting morphisms of distributive laws. In: 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2015)"},{"key":"3_CR19","doi-asserted-by":"publisher","unstructured":"K\u00f6nig, H., Wolter, U., Kr\u00e4uter, T.: Structural Operational Semantics for Heterogeneously Typed Coalgebras. In: Baldan, P., de\u00a0Paiva, V. (eds.) CALCO 2023. LIPIcs, vol.\u00a0270, pp. 7:1\u20137:17. Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik (2023). https:\/\/doi.org\/10.4230\/LIPIcs.CALCO.2023.7","DOI":"10.4230\/LIPIcs.CALCO.2023.7"},{"key":"3_CR20","doi-asserted-by":"publisher","unstructured":"Kr\u00e4uter, T., K\u00f6nig, H., Rutle, A., Lamo, Y., St\u00fcnkel, P.: Behavioral consistency in multi-modeling. J. Object Technol. 22(2), 1\u201315 (2023). https:\/\/doi.org\/10.5381\/JOT.2023.22.2.A9, https:\/\/doi.org\/10.5381\/jot.2023.22.2.a9","DOI":"10.5381\/JOT.2023.22.2.A9"},{"key":"3_CR21","unstructured":"Kurz, A., Pattinson, D.: Coalgebras and modal logic for parameterised endofunctors. Centrum voor Wiskunde en Informatica (2000)"},{"key":"3_CR22","doi-asserted-by":"publisher","unstructured":"Lenisa, M., Power, J., Watanabe, H.: Category theory for operational semantics. Theor. Comput. Sci. 327(1-2), 135\u2013154 (2004). https:\/\/doi.org\/10.1016\/j.tcs.2004.07.024, https:\/\/doi.org\/10.1016\/j.tcs.2004.07.024","DOI":"10.1016\/j.tcs.2004.07.024"},{"key":"3_CR23","unstructured":"Milner, R.: Communicating and Mobile Systems: The $$\\pi $$-Calculus. Cambridge University Press (1999)"},{"issue":"1","key":"3_CR24","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. Theor. Comput. Sci. 249(1), 3\u201380 (2000). https:\/\/doi.org\/10.1016\/S0304-3975(00)00056-6","journal-title":"Theor. Comput. Sci."},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Turi, D., Plotkin, G.: Towards a mathematical operational semantics. In: Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science, pp. 280\u2013291. IEEE (1997)","DOI":"10.1109\/LICS.1997.614955"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-88930-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,15]],"date-time":"2025-05-15T07:04:09Z","timestamp":1747292649000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-88930-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031889295","9783031889301"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-88930-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"16 May 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"WADT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Algebraic Development Techniques","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Enschede","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 July 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 July 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"adt2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}