{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:45Z","timestamp":1761611205898},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678236"},{"type":"electronic","value":"9783540449294"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44929-9_32","type":"book-chapter","created":{"date-parts":[[2007,5,5]],"date-time":"2007-05-05T09:20:53Z","timestamp":1178356853000},"page":"457-473","source":"Crossref","is-referenced-by-count":8,"title":["Fibred Models of Processes: Discrete, Continuous, and Hybrid Systems"],"prefix":"10.1007","author":[{"given":"Marcelo P.","family":"Fiore","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,8,24]]},"reference":[{"key":"32_CR1","unstructured":"M. Bunge and M.P. Fiore. Unique factorisation lifting functors and categories of linearly-controlled processes. To appear in the special issue of Mathematical Structures in Computer Science in honour of Joachim LamBek\u2019s 75th birthday, 1999."},{"key":"32_CR2","unstructured":"M. Bunge and S. Niefield. Exponentiability and single universes. To appear in the Journal of Pure and Applied Algebra, 1998."},{"key":"32_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1007\/3-540-63172-0_32","volume-title":"Proceedings of CSL\u201996","author":"G.L. Cattani","year":"1997","unstructured":"G.L. Cattani and G. Winskel. Presheaf models for concurrency. In Proceedings of CSL\u201996, volume 1258 of Lecture Notes in Computer Science, pages 58\u201375. Springer-Verlag, 1997."},{"key":"32_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1007\/BFb0039058","volume-title":"Proceedings of the CONCUR\u201990 Conf.","author":"R. Nicola De","year":"1990","unstructured":"R. De Nicola, U. Montanari, and F. Vaandrager. Back and forth bisimulations. In Proceedings of the CONCUR\u201990 Conf., volume 458 of Lecture Notes in Computer Science, pages 152\u2013165. Springer-Verlag, 1990."},{"key":"32_CR5","doi-asserted-by":"crossref","unstructured":"M.P. Fiore, G.L. Cattani, and G. Winskel. Weak bisimulation and open maps. In 14th LICS Conf., pages 67\u201376. IEEE, Computer Society Press, 1999.","DOI":"10.1109\/LICS.1999.782590"},{"key":"32_CR6","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger. The theory of hybrid automata. In 11th LICS Conf., pages 278\u2013292. IEEE, Computer Society Press, 1996.","DOI":"10.1109\/LICS.1996.561342"},{"key":"32_CR7","unstructured":"M.W. Hirsch and S. Smale. Differential equations, dynamical systems, and linear algebra, volume 60 of Pure and applied mathematics. Academic Press, 1974."},{"issue":"2","key":"32_CR8","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1006\/inco.1996.0057","volume":"127","author":"A. Joyal","year":"1996","unstructured":"A. Joyal, M. Nielsen, and G. Winskel. Bisimulation from open maps. Information and Computation, 127(2):164\u2013185, 1996.","journal-title":"Information and Computation"},{"key":"32_CR9","doi-asserted-by":"crossref","unstructured":"F.W. Lawvere. Introduction. In F. W. Lawvere and S. H. Schanuel, editors, Categories in continuum physics, volume 1174 of Lecture Notes in Mathematics, pages 1\u201316. Springer-Verlag, 1986.","DOI":"10.1007\/BFb0076929"},{"key":"32_CR10","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"32_CR11","doi-asserted-by":"crossref","unstructured":"S. Mac Lane. Categories for the Working Mathematician. Springer-Verlag, 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"32_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/3-540-60692-0_54","volume-title":"Proceedings of FST&TCS\u2019 95","author":"M. Nielsen","year":"1995","unstructured":"M. Nielsen and A. Cheng. Observe behaviour categorically. In Proceedings of FST&TCS\u2019 95, volume 1026 of Lecture Notes in Computer Science, pages 263\u2013278. Springer-Verlag, 1995."},{"issue":"5","key":"32_CR13","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1017\/S0960129597002375","volume":"7","author":"J. Power","year":"1997","unstructured":"J. Power and E. Robinson. Premonoidal categories and notions of computation. Mathematical Structures in Computer Science, 7(5):453\u2013468, 1997.","journal-title":"Mathematical Structures in Computer Science"},{"key":"32_CR14","unstructured":"S. Schanuel and R. Street. The length of a pasting diagram. Unpublished, June 1988."},{"key":"32_CR15","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1016\/S1570-7954(96)80019-2","volume":"1","author":"R. Street","year":"1996","unstructured":"R. Street. Categorical structures. In Handbook of algebra, volume 1, pages 529\u2013577. North-Holland, 1996.","journal-title":"Handbook of algebra"},{"key":"32_CR16","first-page":"1","volume":"4","author":"G. Winskel","year":"1995","unstructured":"G. Winskel and M. Nielsen. Models for concurrency. In Handbook of logic in computer science, Vol.4, Oxford Sci. Publ., pages 1\u2013148. Oxford Univ. Press, 1995.","journal-title":"Handbook of logic in computer science"}],"container-title":["Lecture Notes in Computer Science","Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44929-9_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T14:41:00Z","timestamp":1556376060000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44929-9_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678236","9783540449294"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-44929-9_32","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}