{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:21:53Z","timestamp":1778296913178,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540679011","type":"print"},{"value":"9783540446125","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44612-5_52","type":"book-chapter","created":{"date-parts":[[2007,5,5]],"date-time":"2007-05-05T13:28:20Z","timestamp":1178371700000},"page":"569-578","source":"Crossref","is-referenced-by-count":27,"title":["\u03c0-Calculus, Structured Coalgebras, and Minimal HD-Automata"],"prefix":"10.1007","author":[{"given":"Ugo","family":"Montanari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Pistore","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,1]]},"reference":[{"key":"52_CR1","doi-asserted-by":"crossref","unstructured":"M. Baldamus. Compositional constructor interpretation over coalgebraic models for the \u03c0-calculus. In Proc. CMCS\u20192000, ENTCS 33. Elsevier Science, 2000.","DOI":"10.1016\/S1571-0661(05)80342-1"},{"key":"52_CR2","doi-asserted-by":"crossref","unstructured":"A. Corradini, M. Gro\u00dfe-Rhode, and R. Heckel. Structured transition systems as lax coalgebras. In Proc. CMCS\u201998, ENTCS 11. Elsevier Science, 1998.","DOI":"10.1016\/S1571-0661(04)00051-9"},{"key":"52_CR3","doi-asserted-by":"crossref","unstructured":"A. Corradini, R. Heckel, and U. Montanari. From SOS specifications to structured coalgebras: How to make bisimulation a congruence. In Proc. CMCS\u201999, ENTCS 19. Elsevier Science, 1999.","DOI":"10.1016\/S1571-0661(05)80273-7"},{"key":"52_CR4","series-title":"Lect Notes Comput Sci","volume-title":"Proc. TACAS\u201997","author":"G. Ferrari","year":"1997","unstructured":"G. Ferrari, G. Ferro, S. Gnesi, U. Montanari, M. Pistore, and G. Ristori. An Automata Based Verification Environment for Mobile Processes. In Proc. TACAS\u201997, LNCS 1217. Springer Verlag, 1997."},{"key":"52_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0018521","volume-title":"Proc. CAV\u201998","author":"G. Ferrari","year":"1998","unstructured":"G. Ferrari, S. Gnesi, U. Montanari, M. Pistore, and G. Ristori. Verifying Mobile Processes in the HAL Environment. In Proc. CAV\u201998, LNCS 1427, Springer Verlag, 1998."},{"key":"52_CR6","doi-asserted-by":"crossref","unstructured":"M. Fiore, E. Moggi, and D. Sangiorgi. A fully-abstract model for the \u03c0-calculus. In Proc. LICS\u201996, IEEE. Computer Society Press, 1996.","DOI":"10.1109\/LICS.1996.561302"},{"key":"52_CR7","doi-asserted-by":"crossref","unstructured":"F. Honsell, M. Lenisa, U. Montanari, and M. Pistore. Final Semantics for the pi-calculus. In PROCOMET\u201998. Chapman & Hall, 1998.","DOI":"10.1007\/978-0-387-35358-6_17"},{"issue":"1","key":"52_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes (parts I and II). Information and Computation, 100(1):1\u201377, 1992.","journal-title":"Information and Computation"},{"key":"52_CR9","unstructured":"U. Montanari and M. Pistore. History Dependent Automata. Technical Report TR-11-98. Universit\u00e1 di Pisa, Dipartimento di Informatica, 1998."},{"key":"52_CR10","doi-asserted-by":"crossref","unstructured":"U. Montanari and M. Pistore. Structured Coalgebras and Minimal HD-Automata for the \u03c0-Calculus. Technical Report #0006-02. Istituto per la Ricerca Scientifica e Tecnologica, Istituto Trentino di Cultura, 2000. Available at the URL: http:\/\/sra.itc.it\/paper.epl?id=MP00 .","DOI":"10.1007\/3-540-44612-5_52"},{"key":"52_CR11","unstructured":"M. Pistore. History Dependent Automata. PhD. Thesis TD-5\/99. Universit\u00e1 di Pisa, Dipartimento di Informatica, 1999. Available at the URL: http:\/\/www.di.unipi.it\/phd\/tesi\/tesi_1999\/TD-5-99.ps.gz ."},{"key":"52_CR12","unstructured":"J.J.M.M. Rutten. Universal coalgebra: a theory of systems. Technical Report CS-R9652, CWI, 1996. To appear in Theoretical Computer Science."},{"key":"52_CR13","unstructured":"I. Stark. A fully abstract domain model for the pi-calculus. In Proc. LICS\u201996, IEEE. Computer Society Press, 1996."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44612-5_52","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,11]],"date-time":"2023-05-11T18:38:08Z","timestamp":1683830288000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44612-5_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540679011","9783540446125"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-44612-5_52","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2000]]}}}