{"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":1761611300592},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540557197"},{"type":"electronic","value":"9783540472780"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55719-9_109","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:35:48Z","timestamp":1330252548000},"page":"617-628","source":"Crossref","is-referenced-by-count":20,"title":["A parametric approach to localities"],"prefix":"10.1007","author":[{"given":"Ugo","family":"Montanari","sequence":"first","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":"51_CR1","volume-title":"Technical Memo HPL-PSC-91-28","author":"L. Aceto","year":"1991","unstructured":"L. Aceto. History preserving, causal and mixed-ordering equivalence for stable event structures. Technical Memo HPL-PSC-91-28, Hewlett-Packard Labs, Pisa, 1991."},{"issue":"4","key":"51_CR2","doi-asserted-by":"crossref","first-page":"433","DOI":"10.3233\/FI-1988-11406","volume":"11","author":"G. Boudol","year":"1988","unstructured":"G. Boudol and I. Castellani. A non-interleaving semantics for CCS based on proved transitions. Fundamenta Informaticae, 11(4):433\u2013452, 1988.","journal-title":"Fundamenta Informaticae"},{"key":"51_CR3","doi-asserted-by":"crossref","unstructured":"G. Boudol, I. Castellani, M. Henaessy, and A. Kiehn. Observing localities. Technical Report 4\/91, University of Sussex, March 1991.","DOI":"10.1007\/3-540-54345-7_52"},{"key":"51_CR4","unstructured":"G. Boudol, I. Castellani, M. Hennessy, and A. Kiehn. A theory of processes with localities. Technical Report 13\/91, University of Sussex, December 1991."},{"issue":"4","key":"51_CR5","doi-asserted-by":"publisher","first-page":"887","DOI":"10.1145\/76359.76369","volume":"36","author":"I. Castellani","year":"1989","unstructured":"I. Castellani and M. Hennessy. Distributed bisimulations. J. ACM, 36(4):887\u2013911, 1989.","journal-title":"J. ACM"},{"key":"51_CR6","doi-asserted-by":"crossref","unstructured":"P. Darondeau and P. Degano. Causal trees. In Proc. ICALP 89, vol. 372 of LNCS, pages 234\u2013248. Springer-Verlag, 1989.","DOI":"10.1007\/BFb0035764"},{"key":"51_CR7","first-page":"105","volume-title":"Proc. of the 3th IFIP WG 2.2 working conference","author":"P. Degano","year":"1987","unstructured":"P. Degano, R. De Nicola, and U. Montanari. Observational equivalences for concurrency models. In Proc. of the 3th IFIP WG 2.2 working conference, Ebberup, pages 105\u2013129. North-Holland, 1987."},{"key":"51_CR8","doi-asserted-by":"crossref","unstructured":"P. Degano, R. De Nicola, and U. Montanari. Partial orderings descriptions and observations of nondeterministic concurrent processes. In Proc. of the REX School\/Workshop, Noordwijkerhout, vol. 354 of LNCS, pages 438\u2013466. Springer-Verlag, 1989.","DOI":"10.1007\/BFb0013030"},{"key":"51_CR9","unstructured":"P. Degano, R. De Nicola, and U. Montanari. Universal axioms for bisimulation, 1991. Submitted for publication. An extended abstract appeared in Proc. of the Workshop on Concurrency and Compositionality, Goslar."},{"key":"51_CR10","doi-asserted-by":"crossref","unstructured":"P. Degano and C. Priami. Proved trees, 1992. This volume.","DOI":"10.1007\/3-540-55719-9_110"},{"key":"51_CR11","doi-asserted-by":"crossref","unstructured":"G. Ferrari and U. Montanari. The observation algebra of spatial pomsets. In Proceedings CONCUR'91, vol. 527 of LNCS, pages 188\u2013202. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54430-5_89"},{"key":"51_CR12","unstructured":"P. Inverardi, C. Priami, and D. Yankelevich. A parametric verification tool for distributed concurrent systems, 1992. Submitted to CAV'92 \u2014 Montreal."},{"key":"51_CR13","volume-title":"Technical Report 342\/23\/91","author":"A. Kiehn","year":"1991","unstructured":"A. Kiehn. Local and global causes. Technical Report 342\/23\/91, Technische Universitat Munchen, Munich, 1991."},{"key":"51_CR14","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall International, Englewood Cliffs, 1989."},{"key":"51_CR15","unstructured":"G. Plotkin. A structural approach to operational semantics. Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981."},{"issue":"4","key":"51_CR16","doi-asserted-by":"crossref","first-page":"357","DOI":"10.3233\/FI-1988-11404","volume":"11","author":"A. Rabinovich","year":"1988","unstructured":"A. Rabinovich and B. Trakhtenbrot. Behavior structures and nets. Fundamenta Informaticae, 11(4):357\u2013404, 1988.","journal-title":"Fundamenta Informaticae"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55719-9_109.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T04:36:28Z","timestamp":1640925388000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55719-9_109"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540557197","9783540472780"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-55719-9_109","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}