{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T20:27:22Z","timestamp":1759177642979,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642229435"},{"type":"electronic","value":"9783642229442"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22944-2_16","type":"book-chapter","created":{"date-parts":[[2011,8,25]],"date-time":"2011-08-25T05:45:59Z","timestamp":1314251159000},"page":"222-236","source":"Crossref","is-referenced-by-count":3,"title":["The Microcosm Principle and Compositionality of GSOS-Based Component Calculi"],"prefix":"10.1007","author":[{"given":"Ichiro","family":"Hasuo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","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., Ponse, A., Smolka, S. (eds.) Handbook of Process Algebra, pp. 197\u2013292. Elsevier, Amsterdam (2001)"},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1006\/aima.1997.1695","volume":"135","author":"J.C. Baez","year":"1998","unstructured":"Baez, J.C., Dolan, J.: Higher dimensional algebra III: n-categories and the algebra of opetopes. Adv. Math.\u00a0135, 145\u2013206 (1998)","journal-title":"Adv. Math."},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/978-3-642-02053-7_13","volume-title":"Coordination Models and Languages","author":"C. Baier","year":"2009","unstructured":"Baier, C., Blechmann, T., Klein, J., Kl\u00fcppelholz, S.: A uniform framework for modeling and verifying components and connectors. In: Field, J., Vasconcelos, V.T. (eds.) COORDINATION 2009. LNCS, vol.\u00a05521, pp. 247\u2013267. Springer, Heidelberg (2009)"},{"issue":"2","key":"16_CR4","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.scico.2005.10.008","volume":"61","author":"C. Baier","year":"2006","unstructured":"Baier, C., Sirjani, M., Arbab, F., Rutten, J.J.M.M.: Modeling component connectors in reo by constraint automata. Science of Comput. Progr.\u00a061(2), 75\u2013113 (2006)","journal-title":"Science of Comput. Progr."},{"issue":"2","key":"16_CR5","doi-asserted-by":"crossref","first-page":"251","DOI":"10.3233\/FI-2009-0043","volume":"91","author":"S. Bliudze","year":"2009","unstructured":"Bliudze, S., Krob, D.: Modelling of complex systems: Systems as dataflow machines. Fundam. Inform.\u00a091(2), 251\u2013274 (2009)","journal-title":"Fundam. Inform."},{"issue":"1","key":"16_CR6","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.R.: Bisimulation can\u2019t be traced. Journ. ACM\u00a042(1), 232\u2013268 (1995)","journal-title":"Journ. ACM"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-642-02053-7_10","volume-title":"Coordination Models and Languages","author":"M.. M. Bonsangue","year":"2009","unstructured":"Bonsangue, M.M., Clarke, D., Silva, A.: Automata for context-dependent connectors. In: Field, J., Vasconcelos, V.T. (eds.) COORDINATION 2009. LNCS, vol.\u00a05521, pp. 184\u2013203. Springer, Heidelberg (2009)"},{"issue":"1-2","key":"16_CR8","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1016\/j.tcs.2006.07.005","volume":"366","author":"R. Bruni","year":"2006","unstructured":"Bruni, R., Lanese, I., Montanari, U.: A basic algebra of stateless connectors. Theor. Comp. Sci.\u00a0366(1-2), 98\u2013120 (2006)","journal-title":"Theor. Comp. Sci."},{"key":"16_CR9","volume-title":"Model Checking","author":"E. Clarke","year":"1999","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"16_CR10","unstructured":"Curien, P.L.: Operads, clones, and distributive laws, preprint, available online (2008)"},{"key":"16_CR11","unstructured":"Hasuo, I.: Tracing Anonymity with Coalgebras. Ph.D. thesis, Radboud Univ. Nijmegen (2008)"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Hasuo, I.: The microcosm principle and compositionality of GSOS-based component calculi. Extended version with proofs, available online (May 2011)","DOI":"10.1007\/978-3-642-22944-2_16"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Hasuo, I., Jacobs, B., Sokolova, A.: Generic trace semantics via coinduction. Logical Methods in Comp. Sci.\u00a03(4:11) (2007)","DOI":"10.2168\/LMCS-3(4:11)2007"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/978-3-540-78499-9_18","volume-title":"Foundations of Software Science and Computational Structures","author":"I. Hasuo","year":"2008","unstructured":"Hasuo, I., Jacobs, B., Sokolova, A.: The microcosm principle and concurrency in coalgebra. In: Amadio, R.M. (ed.) FOSSACS 2008. LNCS, vol.\u00a04962, pp. 246\u2013260. Springer, Heidelberg (2008)"},{"key":"16_CR15","unstructured":"Jacobs, B.: Introduction to coalgebra. Towards mathematics of states and observations, Draft of a book (2005), http:\/\/www.cs.ru.nl\/B.Jacobs\/PAPERS"},{"issue":"2","key":"16_CR16","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/j.ic.2007.10.006","volume":"207","author":"B. Klin","year":"2009","unstructured":"Klin, B.: Bialgebraic methods and modal logic in structural operational semantics. Inf. & Comp.\u00a0207(2), 237\u2013257 (2009)","journal-title":"Inf. & Comp."},{"key":"16_CR17","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":"1-2","key":"16_CR18","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. Comp. Sci.\u00a0327(1-2), 135\u2013154 (2004)","journal-title":"Theor. Comp. Sci."},{"issue":"2","key":"16_CR19","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/S0304-3975(01)00357-7","volume":"285","author":"N. Mart\u00ed-Oliet","year":"2002","unstructured":"Mart\u00ed-Oliet, N., Meseguer, J.: Rewriting logic: roadmap and bibliography. Theor. Comp. Sci.\u00a0285(2), 121\u2013154 (2002)","journal-title":"Theor. Comp. Sci."},{"key":"16_CR20","unstructured":"Plotkin, G.D.: A structural approach to operational semantics, report DAIMI FN-19, Aarhus Univ. (1981)"},{"issue":"5","key":"16_CR21","doi-asserted-by":"publisher","first-page":"822","DOI":"10.1016\/j.ic.2010.09.007","volume":"209","author":"A. Silva","year":"2011","unstructured":"Silva, A., Bonchi, F., Bonsangue, M.M., Rutten, J.J.M.M.: Quantitative kleene coalgebras. Inf. & Comp.\u00a0209(5), 822\u2013849 (2011)","journal-title":"Inf. & Comp."},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"Turi, D., Plotkin, G.: Towards a mathematical operational semantics. In: Logic in Computer Science, pp. 280\u2013291. IEEE, Computer Science Press (1997)","DOI":"10.1109\/LICS.1997.614955"}],"container-title":["Lecture Notes in Computer Science","Algebra and Coalgebra in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22944-2_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,9]],"date-time":"2025-03-09T07:38:27Z","timestamp":1741505907000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22944-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642229435","9783642229442"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22944-2_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}