{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,3]],"date-time":"2025-08-03T22:58:07Z","timestamp":1754261887794,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642548475"},{"type":"electronic","value":"9783642548482"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54848-2_3","type":"book-chapter","created":{"date-parts":[[2014,7,9]],"date-time":"2014-07-09T11:35:39Z","timestamp":1404905739000},"page":"39-53","source":"Crossref","is-referenced-by-count":14,"title":["A Model of Dynamic Systems"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1007\/BFb0084816","volume-title":"CONCUR \u201992","author":"G. Agha","year":"1992","unstructured":"Agha, G., Mason, I.A., Smith, S.F., Talcott, C.L.: Towards a Theory of Actor Computation. In: Cleaveland, W.R. (ed.) CONCUR 1992. LNCS, vol.\u00a0630, pp. 565\u2013579. Springer, Heidelberg (1992)"},{"key":"#cr-split#-3_CR2.1","unstructured":"Broy, M.: Towards a Mathematical Concept of a Component and its Use. First Components' User Conference, Munich (1996)"},{"key":"#cr-split#-3_CR2.2","unstructured":"Revised version in: Software - Concepts and Tools 18, 137-148 (1997)"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Broy, M., St\u00f8len, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer (2001)","DOI":"10.1007\/978-1-4613-0091-5"},{"key":"3_CR4","unstructured":"Cardelli, L.: A Language with Distributed Scope. ACM Trans. Comput. Syst.\u00a08(1), 27\u201359 (January); ALso appeared in POPL 1995"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1007\/BFb0014336","volume-title":"Algebraic Methodology and Software Technology","author":"R. Grosu","year":"1996","unstructured":"Grosu, R., St\u00f8len, K.: A Model for Mobile Point-to-Point Data Flow Networks without Channel Sharing. In: Wirsing, M., Nivat, M. (eds.) AMAST 1996. LNCS, vol.\u00a01101, pp. 505\u2013519. Springer, Heidelberg (1996)"},{"key":"3_CR6","unstructured":"Grosu, R., St\u00f8len, K.: A Denotational Model for Mobile Many-to-Many Data Flow Networks. Technical Report TUM-I9622, Technische Universit\u00e4t M\u00fcnchen (1996)"},{"key":"3_CR7","volume-title":"The 2nd International Symposium on Parallel Symbolic Computation (PASCO 1997)","author":"S. Haridi","year":"1997","unstructured":"Haridi, S., van Roy, P., Smolka, G.: An Overview of the Design of Distributed Oz. In: The 2nd International Symposium on Parallel Symbolic Computation (PASCO 1997). ACM, New York (1997)"},{"key":"3_CR8","unstructured":"Milner, R.: The polyadic \u03c0-calculus: A tutorial. Technical Report ECS-LFCS-91-180, University of Edinburgh (1991)"},{"issue":"1","key":"3_CR9","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0890-5401(92)90009-5","volume":"100","author":"Robin Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. Part i + ii. Information and Computation\u00a0100(1), 1\u201340, 41\u201377 (1992)","journal-title":"Information and Computation"},{"issue":"5","key":"3_CR10","doi-asserted-by":"crossref","first-page":"805","DOI":"10.1145\/265943.265972","volume":"19","author":"P. Roy van","year":"1997","unstructured":"van Roy, P., Haridi, S., Brand, P., Smolka, G., Mehl, M., Scheidhauer, R.: Mobile Objects in Distributed Oz. ACM Toplas\u00a019(5), 805\u2013852 (1997)","journal-title":"ACM Toplas"}],"container-title":["Lecture Notes in Computer Science","From Programs to Systems. The Systems perspective in Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54848-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T03:52:13Z","timestamp":1558929133000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54848-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642548475","9783642548482"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54848-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}