{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T04:02:22Z","timestamp":1746244942334,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"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_20","type":"book-chapter","created":{"date-parts":[[2014,3,21]],"date-time":"2014-03-21T13:30:31Z","timestamp":1395408631000},"page":"304-319","source":"Crossref","is-referenced-by-count":4,"title":["Generalized Synchronization Trees"],"prefix":"10.1007","author":[{"given":"James","family":"Ferlez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rance","family":"Cleaveland","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steve","family":"Marcus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"20_CR1","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1006\/inco.1991.9999","volume":"92","author":"S. Abramsky","year":"1991","unstructured":"Abramsky, S.: A domain equation for bisimulation. Information and Computation\u00a092(2), 161\u2013218 (1991)","journal-title":"Information and Computation"},{"issue":"1","key":"20_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1994.1040","volume":"111","author":"L. Aceto","year":"1994","unstructured":"Aceto, L., Bloom, B., Vaandrager, F.: Turning SOS rules into equations. Information and Computation\u00a0111(1), 1\u201352 (1994)","journal-title":"Information and Computation"},{"key":"20_CR3","unstructured":"Aczel, P.: Non-Well-Founded Sets. CSLI Lecture Notes, vol.\u00a014. Center for the Study of Language and Information (1988)"},{"volume-title":"Handbook of Process Algebra","year":"2001","key":"20_CR4","unstructured":"Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.): Handbook of Process Algebra. North-Holland, Amsterdam (2001)"},{"issue":"1","key":"20_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.R.: Bisimulation can\u2019t be traced. J. ACM\u00a042(1), 232\u2013268 (1995)","journal-title":"J. ACM"},{"issue":"2","key":"20_CR6","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/j.jlap.2004.02.001","volume":"62","author":"P.J.L. Cuijpers","year":"2005","unstructured":"Cuijpers, P.J.L., Reniers, M.A.: Hybrid process algebra. The Journal of Logic and Algebraic Programming\u00a062(2), 191\u2013245 (2005)","journal-title":"The Journal of Logic and Algebraic Programming"},{"key":"20_CR7","unstructured":"Cuijpers, P.J.L.: Prefix Orders as a General Model of Dynamics. In: 9th International Workshop on Developments in Computational Models, CONCUR (2013)"},{"key":"20_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-540-71493-4_14","volume-title":"Hybrid Systems: Computation and Control","author":"J.M. Davoren","year":"2007","unstructured":"Davoren, J.M., Tabuada, P.: On Simulations and Bisimulations of General Flow Systems. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol.\u00a04416, pp. 145\u2013158. Springer, Heidelberg (2007)"},{"issue":"5-6","key":"20_CR9","doi-asserted-by":"publisher","first-page":"568","DOI":"10.3166\/ejc.17.568-578","volume":"17","author":"A. Girard","year":"2011","unstructured":"Girard, A., Pappas, G.J.: Approximate bisimulation: A bridge between computer science and control theory. Eur. J. Control\u00a017(5-6), 568\u2013578 (2011)","journal-title":"Eur. J. Control"},{"key":"20_CR10","unstructured":"Haghverdi, E., Tabuada, P., Pappas, G.J.: Unifying Bisimulation Relations for Discrete and Continuous Systems. In: Proceedings of the International Symposium MTNS 2002, South (2002)"},{"key":"20_CR11","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/j.tcs.2005.03.045","volume":"342","author":"E. Haghverdi","year":"2005","unstructured":"Haghverdi, E., Tabuada, P., Pappas, G.J.: Bisimulation relations for dynamical, control, and hybrid systems. Theoretical Comput Science\u00a0342, 229\u2013261 (2005)","journal-title":"Theoretical Comput Science"},{"key":"20_CR12","first-page":"62","volume":"62","author":"B. Jacobs","year":"1997","unstructured":"Jacobs, B., Rutten, J.: A tutorial on (co)algebras and (co)induction. EATCS Bulletin\u00a062, 62\u2013222 (1997)","journal-title":"EATCS Bulletin"},{"key":"20_CR13","unstructured":"Jech, T.: Set Theory. Academic Press (1978)"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Julius, A.A., van der Schaft, A.J.: Bisimulation as congruence in the behavioral setting. In: Proceedings of the 44th IEEE Conference on Decision and Control and 2005 European Control Conference, pp. 814\u2013819 (2005)","DOI":"10.1109\/CDC.2005.1582257"},{"key":"20_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communication Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communication Systems. LNCS, vol.\u00a092. Springer, Heidelberg (1980)"},{"key":"20_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/BFb0017309","volume-title":"Theoretical Computer Science","author":"D. Park","year":"1981","unstructured":"Park, D.: Concurrency and automata on infinite sequences. In: Deussen, P. (ed.) GI-TCS 1981. LNCS, vol.\u00a0104, pp. 167\u2013183. Springer, Heidelberg (1981)"},{"issue":"1-2","key":"20_CR17","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1016\/S0019-9958(85)80009-7","volume":"66","author":"W.C. Rounds","year":"1985","unstructured":"Rounds, W.C.: On the relationships between Scott domains, synchronization trees, and metric spaces. Information and Control\u00a066(1-2), 6\u201328 (1985)","journal-title":"Information and Control"},{"key":"20_CR18","volume-title":"An introduction to bisimulation and coinduction","author":"D. Sangiorgi","year":"2012","unstructured":"Sangiorgi, D.: An introduction to bisimulation and coinduction. Cambridge University Press, Cambridge (2012)"},{"issue":"3","key":"20_CR19","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1109\/9.557576","volume":"42","author":"J.C. Willems","year":"1997","unstructured":"Willems, J.C.: On interconnections, control, and feedback. IEEE Transactions on Automatic Control\u00a042(3), 326\u2013339 (1997)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"1-2","key":"20_CR20","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/0304-3975(84)90112-9","volume":"34","author":"G. Winskel","year":"1984","unstructured":"Winskel, G.: Synchronization Trees. Theoretical Computer Science\u00a034(1-2), 33\u201382 (1984)","journal-title":"Theoretical Computer Science"}],"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_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T03:46:53Z","timestamp":1746157613000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54830-7_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642548291","9783642548307"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54830-7_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}