{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:14:44Z","timestamp":1725574484857},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540201021"},{"type":"electronic","value":"9783540398158"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39815-8_20","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T14:49:51Z","timestamp":1294411791000},"page":"324-343","source":"Crossref","is-referenced-by-count":3,"title":["SynchNet: A Petri Net Based Coordination Language for Distributed Objects"],"prefix":"10.1007","author":[{"given":"Reza","family":"Ziaei","sequence":"first","affiliation":[]},{"given":"Gul","family":"Agha","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: A Model of Concurrent Computation in Distributed Systems","author":"G. Agha","year":"1986","unstructured":"Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986)"},{"issue":"5","key":"20_CR2","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1145\/374308.374365","volume":"44","author":"M. Astley","year":"2001","unstructured":"Astley, M., Sturman, D., Agha, G.: Customizable middleware for modular distributed software. Communications of the ACM\u00a044(5), 99\u2013107 (2001)","journal-title":"Communications of the ACM"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Cruz, J.-C., Ducasse, S.: Coordinating open distributed systems. In: Proceedings of International Workshop in Future Trends in Distributed Computing Systems 1999, Cape Town, South Africa (1999)","DOI":"10.1109\/FTDCS.1999.818794"},{"key":"20_CR4","unstructured":"U.S. Department of Defence. Reference Manual for the Ada programming language. DoD, Washington, D.C. (January 1983)"},{"key":"20_CR5","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/360933.360975","volume":"8","author":"E.W. Dijkstra","year":"1975","unstructured":"Dijkstra, E.W.: Guarded commands, nondeterminacy, and formal derivation of programs. Comm. ACM\u00a08, 453\u2013457 (1975)","journal-title":"Comm. ACM"},{"key":"20_CR6","first-page":"143","volume":"30","author":"J. Esparza","year":"1994","unstructured":"Esparza, J., Nielsen, M.: Decidability issues for petri nets - a survey. Inform. Process. Cybernet.\u00a030, 143\u2013160 (1994)","journal-title":"Inform. Process. Cybernet."},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Giese, H.: Contract-based component system design. In: HICSS (2000)","DOI":"10.1109\/HICSS.2000.927013"},{"key":"20_CR8","unstructured":"Object Management Group. Common Object Request Broker Architecture. OMG (1999)"},{"issue":"11","key":"20_CR9","doi-asserted-by":"publisher","first-page":"934","DOI":"10.1145\/359642.359651","volume":"21","author":"P.B. Hansen","year":"1978","unstructured":"Hansen, P.B.: Distributed processes: A concurrent programming concept. Comm. ACM\u00a021(11), 934\u2013941 (1978)","journal-title":"Comm. ACM"},{"issue":"8","key":"20_CR10","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Comm. ACM\u00a021(8), 151\u2013160 (1978)","journal-title":"Comm. ACM"},{"key":"20_CR11","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"20_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Menhdhekar, A., Maeda, C., Lopes, C., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"20_CR13","volume-title":"JINI Technology: An Overview","author":"I. Kumaran","year":"2001","unstructured":"Kumaran, I., Kumaran, S.: JINI Technology: An Overview. Prentice-Hall, Englewood Cliffs (2001)"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Lopes, A., Fiadeiro, J.L., Wemelinger, M.: Architectural primitives for distribution and mobility. In: SIGSOFT 2002\/FSE-10, pp. 18\u201322 (November 2002)","DOI":"10.1145\/587051.587058"},{"key":"20_CR15","doi-asserted-by":"crossref","first-page":"107","DOI":"10.7551\/mitpress\/2087.003.0007","volume-title":"Research Directions in Concurrent Object-Oriented Programming","author":"S. Matsuoka","year":"1993","unstructured":"Matsuoka, S., Yonezawa, A.: Analysis of inheritance anomaly in object-oriented concurrent programming languages. In: Agha, G., Wegner, P., Yonezawa, A. (eds.) Research Directions in Concurrent Object-Oriented Programming, pp. 107\u2013150. MIT Press, Cambridge (1993)"},{"issue":"3","key":"20_CR16","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1145\/352591.352592","volume":"9","author":"N.H. Minsky","year":"2000","unstructured":"Minsky, N.H., Ungureanu, V.: Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems. ACM Transactions on Software Engineering and Methodology\u00a09(3), 273\u2013305 (2000)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"20_CR17","volume-title":"Petri net theory and the modeling of systems","author":"J. Peterson","year":"1981","unstructured":"Peterson, J.: Petri net theory and the modeling of systems. Prentice-Hall, Englewood Cliffs (1981)"},{"key":"20_CR18","unstructured":"Petri, C.A.: Kommunikation mit Automaten. PhD thesis, University of Bonn, Bonn, West Germany (1962)"},{"key":"20_CR19","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2168.001.0001","volume-title":"Coordinating Distributed Objects: An Actor Based Approach to Coordination","author":"S. Fr\u00f8lund","year":"1996","unstructured":"Fr\u00f8lund, S.: Coordinating Distributed Objects: An Actor Based Approach to Coordination. MIT Press, Cambridge (1996)"},{"key":"20_CR20","volume-title":"COM and DCOM: Microsoft\u2019s Vision for Distributed Objects","author":"R. Sessions","year":"1997","unstructured":"Sessions, R.: COM and DCOM: Microsoft\u2019s Vision for Distributed Objects. John Wiley and Sons, Chichester (1997)"},{"key":"20_CR21","unstructured":"Tichelaar, S.: A coordination component framework for open distributed systems. Master\u2019s thesis, University of Groningen (1997)"},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"Venkatasubramanian, N., Talcott, C.L.: Reasoning about meta level activities in open distributed systems. In: Symposium on Principles of Distributed Computing, pp. 144\u2013152 (1995)","DOI":"10.1145\/224964.224981"}],"container-title":["Lecture Notes in Computer Science","Generative Programming and Component Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39815-8_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,2]],"date-time":"2024-04-02T20:56:13Z","timestamp":1712091373000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39815-8_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201021","9783540398158"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39815-8_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}