{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T05:23:53Z","timestamp":1736659433012,"version":"3.32.0"},"reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540558224"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0084786","type":"book-chapter","created":{"date-parts":[[2006,11,24]],"date-time":"2006-11-24T13:12:14Z","timestamp":1164373934000},"page":"108-122","source":"Crossref","is-referenced-by-count":15,"title":["A theory of processes with localities"],"prefix":"10.1007","author":[{"given":"G.","family":"Boudol","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I.","family":"Castellani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Hennessy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Kiehn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","volume-title":"Report 6\/89","author":"L. Aceto","year":"1989","unstructured":"L. Aceto. On relating concurrency and nondeterminism. Report 6\/89, Computer Science, University of Sussex, Brighton, 1989."},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"G. Boudol, I. Castellani, M. Hennessy, and A. Kiehn. Observing localities. Report 4\/91, Sussex University, and INRIA Res. Rep. 1485, 1991. To appear in TCS.","DOI":"10.1007\/3-540-54345-7_52"},{"key":"9_CR3","unstructured":"G. Boudol, I. Castellani, M. Hennessy, and A. Kiehn. A theory of processes with localities. Report 13\/91, Sussex University, and INRIA Res. Rep. 1632, 1992."},{"key":"9_CR4","unstructured":"I. Castellani. Bisimulations for Concurrency. Ph.d. thesis, University of Edinburgh, 1988."},{"issue":"4","key":"9_CR5","doi-asserted-by":"publisher","first-page":"887","DOI":"10.1145\/76359.76369","volume":"10","author":"I. Castellani","year":"1989","unstructured":"I. Castellani and M. Hennessy. Distributed bisimulations. JACM, 10(4):887\u2013911, 1989.","journal-title":"JACM"},{"key":"9_CR6","first-page":"234","volume":"372","author":"P. Darondeau","year":"1989","unstructured":"Ph. Darondeau and P. Degano. Causal trees. In Proc. ICALP 88, volume 372 of LNCS, pages 234\u2013248, 1989.","journal-title":"Proc. ICALP 88"},{"issue":"1","key":"9_CR7","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"M. Hennessy and R. Milner. Algebraic laws for nondeterminism and concurrency. JACM, 32(1):137\u2013161, 1985.","journal-title":"JACM"},{"key":"9_CR8","unstructured":"A. Kiehn. Distributed bisimulations for finite CCS. Report 7\/89, University of Sussex, 1989."},{"key":"9_CR9","unstructured":"A. Kiehn. Local and global causes. Report 342\/23\/91, Technische Universit\u00e4t M\u00fcnchen, 1991."},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"R. Milner. A Calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science. 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"9_CR11","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, 1989."}],"container-title":["Lecture Notes in Computer Science","CONCUR '92"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0084786.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T03:55:43Z","timestamp":1736654143000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0084786"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540558224"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0084786","relation":{},"subject":[]}}