{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:57Z","timestamp":1761611217760},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540654933"},{"type":"electronic","value":"9783540492139"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49213-5_7","type":"book-chapter","created":{"date-parts":[[2007,12,9]],"date-time":"2007-12-09T12:03:39Z","timestamp":1197201819000},"page":"150-185","source":"Crossref","is-referenced-by-count":14,"title":["Toward Parametric Verification of Open Distributed Systems"],"prefix":"10.1007","author":[{"given":"Mads","family":"Dam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lars-\u00e5ke","family":"Fredlund","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dilian","family":"Gurov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,5,21]]},"reference":[{"key":"7_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/3-540-61648-9_50","volume-title":"Proc. FTRTFT\u201996","author":"R. Amadio","year":"1996","unstructured":"R. Amadio and M. Dam. A modal theory of types for the \u03c0-calculus. In Proc. FTRTFT\u201996, Lecture Notes in Computer Science, 1135:347\u2013365, 1996."},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S095679689700261X","volume":"7","author":"G. Agha","year":"1997","unstructured":"G. Agha, I. A. Mason, S. F. Smith, and C. L. Talcott. A foundation for actor computation. J. Functional Programming, 7:1\u201372, 1997.","journal-title":"J. Functional Programming"},{"key":"7_CR3","unstructured":"J. Armstrong, R. Virding, C. Wikstr\u00f6m, and M. Williams. Concurrent Programming in Erlang (Second Edition). Prentice-Hall International (UK) Ltd., 1996."},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"M. Dam. Proving properties of dynamic process networks. To appear, Information and Computation, 1998. Preliminary version as \u201cCompositional Proof Systems for Model Checking Infinite State Processes\u201d, Proc. CONCUR\u201995, LNCS 962, pp. 12\u201326.","DOI":"10.1006\/inco.1997.2680"},{"issue":"1","key":"7_CR5","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, I and II. Information and Computation, 100(1):1\u201340 and 41\u201377, 1992.","journal-title":"Information and Computation"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/0304-3975(76)90022-0","volume":"3","author":"D. Park","year":"1976","unstructured":"D. Park. Finiteness is mu-Ineffable. Theoretical Computer Science, 3:173\u2013181, 1976.","journal-title":"Theoretical Computer Science"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"A. Simpson. Compositionality via cut-elimination: Hennessy-Milner logic for an arbitrary GSOS. In Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science, pages 420\u2013430, San Diego, California, 26\u201329 June 1995. IEEE Computer Society Press.","DOI":"10.1109\/LICS.1995.523276"}],"container-title":["Lecture Notes in Computer Science","Compositionality: The Significant Difference"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49213-5_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,27]],"date-time":"2019-02-27T01:16:14Z","timestamp":1551230174000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49213-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540654933","9783540492139"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-49213-5_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}