{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T05:40:53Z","timestamp":1737006053067,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540679011"},{"type":"electronic","value":"9783540446125"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44612-5_17","type":"book-chapter","created":{"date-parts":[[2007,5,5]],"date-time":"2007-05-05T13:28:20Z","timestamp":1178371700000},"page":"212-221","source":"Crossref","is-referenced-by-count":4,"title":["A Compositional Model for Confluent Dynamic Data-Flow Networks"],"prefix":"10.1007","author":[{"given":"Frank S.","family":"de Boer","sequence":"first","affiliation":[]},{"given":"Marcello M.","family":"Bonsangue","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,1]]},"reference":[{"issue":"1","key":"17_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S095679689700261X","volume":"1","author":"G. Agha","year":"1993","unstructured":"G. Agha, I. Mason, S. Smith, and C. Talcott. A foundation for actor computation Journal of Functional Programming, 1(1):1\u201369, 1993.","journal-title":"Journal of Functional Programming"},{"key":"17_CR2","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/S0304-3975(97)00223-5","volume":"195","author":"R. Amadio","year":"1998","unstructured":"R. Amadio, I. Castellani, and D. Sangiorgi. On Bisimulations for the Asynchronous \u03c0-calculus. Theoretical Computer Science, 195:291\u2013324, 1998.","journal-title":"Theoretical Computer Science"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"F. Arbab, F.S. de Boer, and M.M. Bonsangue. A coordination language for mobile components. In Proc. of SAC 2000, pp. 166\u2013173, ACM press, 2000.","DOI":"10.1145\/335603.335734"},{"issue":"1","key":"17_CR4","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1002\/cpe.4330050103","volume":"5","author":"F. Arbab","year":"1993","unstructured":"F. Arbab, I. Herman, and P. Spilling. An overview of Manifold and its implementation. Concurrency: Practice and Experience, 5(1):23\u201370, 1993.","journal-title":"Concurrency: Practice and Experience"},{"key":"17_CR5","unstructured":"F.S. de Boer. Reasoning about asynchronous communication in dynamically evolving object structures. To appear in Theoretical Computer Science, 2000."},{"key":"17_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1007\/BFb0014427","volume-title":"Proc. 5th COMPASS workshop","author":"M. Broy","year":"1995","unstructured":"M. Broy. Equations for describing dynamic nets of communicating systems. In Proc. 5th COMPASS workshop, vol. 906 of LNCS, pp. 170\u2013187, 1995."},{"key":"17_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Proc. of Foundation of Software Science and Computational Structures","author":"L. Cardelli","year":"1998","unstructured":"L. Cardelli and A.D. Gordon. Mobile ambients. In Proc. of Foundation of Software Science and Computational Structures, vol. 1378 of LNCS, pp. 140\u2013155, 1998."},{"key":"17_CR8","unstructured":"E.W. Dijkstra. A Discipline of Programming. Prentice-Hall, 1976."},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"M. Falaschi, M. Gabbrielli, K. Marriot, and C. Palamidessi. Confluence in concurrent constraint programming. In Theoretical Computer Science, 183(2), 1997.","DOI":"10.1016\/S0304-3975(97)00328-9"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"C. Fournet and G. Gonthier. The reflexive chemical abstract machine and the join calculus. In Proc. POPL\u201996, pp. 372\u2013385, 1996.","DOI":"10.1145\/237721.237805"},{"key":"17_CR11","series-title":"Lect Notes Comput Sci","volume-title":"Proc. AMAST\u201996","author":"R. Grosu","year":"1996","unstructured":"R. Grosu and K. St\u00f8len. A model for mobile point-to-point data-flow networks without channel sharing. In Proc. AMAST\u201996, LNCS, 1996."},{"key":"17_CR12","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"G.J. Holzmann. The model checker SPIN IEEE Transactions on Software Engineering 23:5, 1997.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"17_CR13","volume-title":"IFIP74 Congress","author":"G. Kahn","year":"1974","unstructured":"G. Kahn. The semantics of a simple language for parallel programming. In IFIP74 Congress, North Holland, Amsterdam, 1974."},{"key":"17_CR14","unstructured":"He Jifeng, M.B. Josephs, and C.A.R. Hoare. A theory of synchrony and asynchrony. In Proc. IFIP Conf. on Programming Concepts and Methods, 1990."},{"key":"17_CR15","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/BF02280834","volume":"7","author":"B. Jonsson","year":"1994","unstructured":"B. Jonsson. A fully abstract trace model for dataflow and asynchronous networks. Distributed Computing, 7:197\u2013212, 1994.","journal-title":"Distributed Computing"},{"issue":"1","key":"17_CR16","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":"17_CR17","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/BF00268075","volume":"23","author":"E.-R. Olderog","year":"1986","unstructured":"E.-R. Olderog and C.A.R. Hoare. Specification-oriented semantics for communicating processes. Acta Informatica 23:9\u201366, 1986.","journal-title":"Acta Informatica"}],"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_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T02:15:45Z","timestamp":1736993745000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44612-5_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540679011","9783540446125"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-44612-5_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}