{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:20Z","timestamp":1761611300036},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540610557"},{"type":"electronic","value":"9783540499428"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61055-3_42","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:14:23Z","timestamp":1330290863000},"page":"265-279","source":"Crossref","is-referenced-by-count":10,"title":["Efficient minimization up to location equivalence"],"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"}]},{"given":"Daniel","family":"Yankelevich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"17_CR1","unstructured":"L. Aceto. A static view of localities. INRIA Report 1483, 1991. To appear in Formal Aspects of Computing."},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"G. Berry and G. Boudol. The chemical abstract machine. In Proc. POPL. ACM, 1990.","DOI":"10.1145\/96709.96717"},{"key":"17_CR3","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/0304-3975(93)90152-J","volume":"114","author":"G. Boudol","year":"1993","unstructured":"G. Boudol, I. Castellani, M. Hennessy and A. Kiehn. Observing localities. Theoretical Computer Science, 114: 31\u201361, 1993.","journal-title":"Theoretical Computer Science"},{"key":"17_CR4","unstructured":"G. Boudol, I. Castellani, M. Hennessy and A. Kiehn. A theory of processes with localities. INRIA Report 1632, 1991. Extended abstract in Proc. CONCUR'92, LNCS 630, 1992."},{"key":"17_CR5","unstructured":"I. Castellani. Observing distribution in processes: static and dynamic localities. INRIA Report 2276, 1994."},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"F. Corradini and R. De Nicola. Distribution and locality of concurrent systems. In Proc. ICALP'94, LNCS 920, pages 154\u2013165. Springer Verlag, 1994.","DOI":"10.1007\/3-540-58201-0_65"},{"key":"17_CR7","unstructured":"P. Inverardi and C. Priami. Evaluation of tools for the analysis of communicating systems. In Bullettin of EATCS, 45, 1991."},{"key":"17_CR8","unstructured":"A. Kiehn. Local and global causes. Tech. Rep. 42\/23\/91, Institut f\u00fcr Informatik, TU M\u00fcnchen, 1991."},{"key":"17_CR9","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"R. Milner. The polyadic \u03c0-calculus: a tutorial. In Logic and Algebra of Specification, NATO ASI Series F, Vol. 94. Springer Verlag, 1993.","DOI":"10.1007\/978-3-642-58041-3_6"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"U. Montanari and D. Yankelevich. A parametric approach to localities. In Proc. ICALP'92, LNCS 623. Springer Verlag, 1992.","DOI":"10.1007\/3-540-55719-9_109"},{"key":"17_CR12","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/0304-3975(94)00219-9","volume":"149","author":"U. Montanari","year":"1995","unstructured":"U. Montanari and D. Yankelevich. Location Equivalence in a Parametric Setting. Theoretical Computer Science, 149: 299\u2013332, 1995.","journal-title":"Theoretical Computer Science"},{"issue":"6","key":"17_CR13","doi-asserted-by":"crossref","first-page":"973","DOI":"10.1137\/0216062","volume":"16","author":"R. Paige","year":"1987","unstructured":"R. Paige and R. E. Tarjan. Three partition refinement algorithms. SIAM Journal on Computing, 16(6):973\u2013989, 1987.","journal-title":"SIAM Journal on Computing"},{"key":"17_CR14","unstructured":"D. Yankelevich. Parametric Views of Process Description Languages. PhD Thesis. Dipartimento di Informatica, Universit\u00e1 di Pisa, 1993. Available as report TD-23\/93."},{"key":"17_CR15","unstructured":"Proceedings of the Conference on Computer-Aided Verification \u2014 CAV'95, LNCS 939. P. Wolper Ed., Springer Verlag, 1995."},{"key":"17_CR16","unstructured":"Proceedings of the International Symposium on Protocol Specification, Testing and Verification \u2014 PSTV'95. IFIP WG 6.1, 1995."}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems \u2014 ESOP '96"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61055-3_42.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:04:00Z","timestamp":1605647040000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61055-3_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540610557","9783540499428"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-61055-3_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}