{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,7]],"date-time":"2026-03-07T02:03:28Z","timestamp":1772849008235,"version":"3.50.1"},"reference-count":63,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2006,8,22]],"date-time":"2006-08-22T00:00:00Z","timestamp":1156204800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2007,3,7]]},"DOI":"10.1007\/s10270-006-0011-2","type":"journal-article","created":{"date-parts":[[2006,8,23]],"date-time":"2006-08-23T10:13:55Z","timestamp":1156328035000},"page":"39-58","source":"Crossref","is-referenced-by-count":123,"title":["An Asynchronous Communication Model for Distributed Concurrent Objects"],"prefix":"10.1007","volume":"6","author":[{"given":"Einar Broch","family":"Johnsen","sequence":"first","affiliation":[]},{"given":"Olaf","family":"Owe","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,8,22]]},"reference":[{"key":"11_CR1","volume-title":"A Theory of Objects. Monographs in Computer Science","author":"M. Abadi","year":"1996","unstructured":"Abadi M., Cardelli L. (1996) A Theory of Objects. Monographs in Computer Science. Springer, Berlin Heidelberg New York"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"\u00c1brah\u00e1m-Mumm, E., de Boer F.S., de Roever, W.-P., Verification for Java\u2019s reentrant multithreading concept. In: International Conference on Foundations of Software Science and Computation Structures (FOSSACS\u201902). Lecture Notes in Computer Science, vol. 2303 pp. 5\u201320. Springer, Berlin Heidelberg New York (2002)","DOI":"10.1007\/3-540-45931-6_2"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Agha, G.A. Abstracting interaction patterns: a programming paradigm for open distributed systems. In: Najm, E., Stefani, J.-B.: (eds.) Proceedings 1st IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS\u201996). Paris pp. 135\u2013153 Chapman & Hall, London 1996","DOI":"10.1007\/978-0-387-35082-0_10"},{"issue":"1","key":"11_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S095679689700261X","volume":"7","author":"G.A. Agha","year":"1997","unstructured":"Agha G.A., Mason I.A., Smith S.F., Talcott C.L. (1997) A foundation for actor computation. J. Funct. Program. 7(1): 1\u201372","journal-title":"J. Funct. Program."},{"key":"11_CR5","first-page":"199","volume-title":"Object-Oriented Concurrent Programming","author":"P. America","year":"1987","unstructured":"America P. (1987). POOL-T: A parallel object-oriented language. In: Yonezawa A., Tokoro M. (eds). Object-Oriented Concurrent Programming. The MIT Press, Cambridge, pp. 199\u2013220"},{"key":"11_CR6","volume-title":"Foundations of Multithreaded, Parallel, and Distributed Programming","author":"G.R. Andrews","year":"2000","unstructured":"Andrews G.R. (2000) Foundations of Multithreaded, Parallel, and Distributed Programming. Addison-Wesley, Reading"},{"issue":"3","key":"11_CR7","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F. Arbab","year":"2004","unstructured":"Arbab F. (2004) Reo: A channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14(3): 329\u2013366","journal-title":"Math. Struct. Comput. Sci."},{"issue":"5","key":"11_CR8","doi-asserted-by":"crossref","first-page":"769","DOI":"10.1145\/1018203.1018205","volume":"26","author":"N. Benton","year":"2004","unstructured":"Benton N., Cardelli L., Fournet C. (2004) Modern concurrency abstractions for C#. ACM Trans. Program. Lang. Syst. 26(5): 769\u2013804","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"1\u20133","key":"11_CR9","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"J. Bergstra","year":"1984","unstructured":"Bergstra J., Klop J.W. (1984) Process algebra for synchronous communication. Inf. Control. 60(1\u20133): 109\u2013137","journal-title":"Inf. Control."},{"issue":"4","key":"11_CR10","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1145\/312009.312034","volume":"34","author":"P. Brinch Hansen","year":"1999","unstructured":"Brinch Hansen P. (1999) Java\u2019s insecure parallelism. ACM SIG-PLAN Notices 34(4): 38\u201345","journal-title":"ACM SIG-PLAN Notices"},{"issue":"1","key":"11_CR11","first-page":"27","volume":"8","author":"L. Cardelli","year":"1995","unstructured":"Cardelli L. (1995) A language with distributed scope. Comput. Syst. 8(1): 27\u201359","journal-title":"Comput. Syst."},{"key":"11_CR12","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/3-540-61487-7_25","volume-title":"Proceedings of the Conference on Object-Based Parallel and Distributed Computation","author":"D. Caromel","year":"1996","unstructured":"Caromel D., Roudier Y. (1996). Reactive programming in Eiffel\/\/. In: Briot J.-P., Geib J.M., Yonezawa A. (eds). Proceedings of the Conference on Object-Based Parallel and Distributed Computation. Lecture Notes in Computer Science, vol. 1107 Springer, Berlin Heidelberg New York, pp. 125\u2013147"},{"issue":"4","key":"11_CR13","doi-asserted-by":"crossref","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N. Carriero","year":"1989","unstructured":"Carriero N., Gelernter D. (1989) Linda in context. Commun. ACM 32(4): 444\u2013458","journal-title":"Commun. ACM"},{"key":"11_CR14","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/3-540-48737-9_5","volume-title":"Formal Syntax and Semantics of Java","author":"P. Cenciarelli","year":"1999","unstructured":"Cenciarelli P., Knapp A., Reus B., Wirsing M. (1999). An event-based structural operational semantics of multi-threaded Java. In: Alves-Foss J. (eds). Formal Syntax and Semantics of Java. Lecture Notes in Computer Science, vol. 1523 Springer, Berlin Heidelberg New York, pp. 157\u2013200"},{"key":"11_CR15","volume-title":"Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications","author":"M. Clavel","year":"2000","unstructured":"Clavel M. (2000) Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications. CSLI Publications, Stanford"},{"key":"11_CR16","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/S0304-3975(01)00359-0","volume":"285","author":"M. Clavel","year":"2002","unstructured":"Clavel M., Dur\u00e1n F., Eker S., Lincoln P., Mart\u00ed-Oliet N., Meseguer J., Quesada J.F. (2002) Maude: specification and programming in rewriting logic. Theor. Comput. Sci. 285, 187\u2013243","journal-title":"Theor. Comput. Sci."},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Cugola, G., Ghezzi, C. CJava: introducing concurrent objects in Java. In: Orlowska, M.E., Zicari, R. (eds.) 4th International Conference on Object Oriented Information Systems (OOIS\u201997), London, pp. 504\u2013514. Springer, Berlin Heidelberg New York (1997)","DOI":"10.1007\/978-1-4471-1525-0_41"},{"key":"11_CR18","first-page":"93","volume-title":"A Classical Mind, Essays in Honour of C.A.R. Hoare","author":"O.-J. Dahl","year":"1994","unstructured":"Dahl O.-J. (1994). Monitors revisited. In: Roscoe A.W. (eds). A Classical Mind, Essays in Honour of C.A.R. Hoare. Prentice-Hall, Englewood Cliffs, pp. 93\u2013103"},{"key":"11_CR19","unstructured":"Dahl, O.-J., Myrhaug, B., Nygaard, K. (Simula 67) Common base language. Technical Report S-2. Norsk Regnesentral (Norwegian Computing Center), Oslo, Norway (1968)"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Damm, W., Josko, B., Pnueli, A., Votintseva, A.: Understanding UML: a formal semantics of concurrency and communication in real-time UML. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) First International Symposium on Formal Methods for Components and Objects (FMCO 2002), Revised Lectures. Lecture Notes in Computer Science, vol. 2852, pp. 71\u201398. Springer, Berlin Heidelberg New York (2003)","DOI":"10.1007\/978-3-540-39656-7_3"},{"key":"11_CR21","first-page":"655","volume-title":"7th International Conference on Concurrency Theory (CONCUR\u201996)","author":"P. Di Blasio","year":"1996","unstructured":"Di Blasio P., Fischer K. (1996). a calculus for concurrent objects. In: Montanari U., Sassone V. (eds). 7th International Conference on Concurrency Theory (CONCUR\u201996). Lecture Notes in Computer Science, vol. 1119, Springer, Berlin Heidelberg New York, pp. 655\u2013670"},{"issue":"8","key":"11_CR22","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E.W. Dijkstra","year":"1975","unstructured":"Dijkstra E.W. (1975) Guarded commands, nondeterminacy and formal derivation of programs. Commun. ACM 18(8): 453\u2013457","journal-title":"Commun. ACM"},{"key":"11_CR23","doi-asserted-by":"crossref","unstructured":"Dovland, J., Johnsen, E.B., Owe, O. Verification of concurrent objects with asynchronous method calls. In: Proceedings of the IEEE International Conference on Software Science, Technology & Engineering (SwSTE\u201905), pp. 141\u2013150. IEEE Computer Society Press, Los Alamitos (2005)","DOI":"10.1109\/SWSTE.2005.24"},{"issue":"2","key":"11_CR24","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1145\/857076.857078","volume":"35","author":"P.T. Eugster","year":"2003","unstructured":"Eugster P.T., Felber P.A., Guerraoui R., Kermarrec A.-M. (2003) The many faces of publish\/subscribe. ACM Comput. Surv. 35(2): 114\u2013131","journal-title":"ACM Comput. Surv."},{"key":"11_CR25","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1007\/978-0-387-35261-9_29","volume-title":"Proceedings of the 2nd IFIP Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS)","author":"C. Fischer","year":"1997","unstructured":"Fischer C. (1997). CSP-OZ: a combination of Object-Z and CSP. In: Bowman H., Derrick J. (eds). Proceedings of the 2nd IFIP Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS). Chapman & Hall, London, pp. 423\u2013438"},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"Fournet, C., Gonthier, G. The reflexive chemical abstract machine and the join-calculus. In: ACM Symposium on Principles of Programming Languages (POPL), pp. 372\u2013385 (1996)","DOI":"10.1145\/237721.237805"},{"key":"11_CR27","unstructured":"Ghezzi, C., Jazayeri, M. Programming Language Concepts, 3rd edn. Wiley, (1998)"},{"key":"11_CR28","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-1-4757-6541-0_1","volume-title":"Software Engineering with OBJ: Algebraic Specification in Action, chapter 1","author":"J.A. Goguen","year":"2000","unstructured":"Goguen J.A., Winkler T., Meseguer J., Futatsugi K., Jouannaud J.-P. (2000). Introducing OBJ. In: Goguen J.A., Malcolm G. (eds). Software Engineering with OBJ: Algebraic Specification in Action, chapter 1. Kluwer, Dordrecht, pp. 3\u2013167"},{"key":"11_CR29","doi-asserted-by":"crossref","unstructured":"Gordon A.D., Hankin, P.D. A concurrent object calculus: reduction and typing. In: Nestmann U., Pierce, B.C. (eds) HLCL \u201998: High-Level Concurrent Languages, Nice, France, September 12, 1998. Electronic Notes in Theoretical Computer Science, vol. 16(3). Elsevier, Amsterdam (1998)","DOI":"10.1016\/S1571-0661(04)00145-8"},{"key":"11_CR30","volume-title":"The Java language specification, Java series","author":"J. Gosling","year":"2000","unstructured":"Gosling J., Joy B., Steele G.L., Bracha G. (2000) The Java language specification, 2nd edn. Java series. Addison-Wesley, Reading","edition":"2"},{"issue":"10","key":"11_CR31","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1145\/355620.361161","volume":"17","author":"C.A.R. Hoare","year":"1974","unstructured":"Hoare C.A.R. (1974) Monitors: an operating systems structuring concept. Commun. ACM 17(10): 549\u2013557","journal-title":"Commun. ACM"},{"key":"11_CR32","volume-title":"Communicating Sequential Processes. International Series in Computer Science","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare C.A.R. (1985) Communicating Sequential Processes. International Series in Computer Science. Prentice-Hall, Englewood Cliffs"},{"key":"11_CR33","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BFb0057019","volume-title":"Proceedings of the European Conference on Object-Oriented Programming (ECOOP\u201991)","author":"K. Honda","year":"1991","unstructured":"Honda K., Tokoro M. (1991). An object calculus for asynchronous communication. In: America P. (eds). Proceedings of the European Conference on Object-Oriented Programming (ECOOP\u201991). Lecture Notes in Computer Science, vol. 512, Springer, Berlin Heidelberg New York, pp. 133\u2013147"},{"key":"11_CR34","unstructured":"International Telecommunication Union: Open distributed processing \u2013 reference model parts 1\u20134. Technical report. ISO\/IEC, Geneva (1995)"},{"key":"11_CR35","first-page":"151","volume-title":"Proceeding of the 8th Asia-Pacific Computer Systems Architecture Conference (ACSAC 2003)","author":"G.S. Itzstein","year":"2003","unstructured":"Itzstein G.S., Jasiunas M. (2003). On implementing high level concurrency in Java. In: Omondi A., Sedukhin S. (eds). Proceeding of the 8th Asia-Pacific Computer Systems Architecture Conference (ACSAC 2003). Lecture Notes in Computer Science, vol. 2823, Springer, Berlin Heidelberg New York, pp. 151\u2013165"},{"key":"11_CR36","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/978-0-387-35496-5_5","volume-title":"Proceedings of the 5th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS\u201902)","author":"E.B. Johnsen","year":"2002","unstructured":"Johnsen E.B., Owe O. (2002). A compositional formalism for object viewpoints. In: Jacobs B., Rensink A. (eds). Proceedings of the 5th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS\u201902). Kluwer Dordrecht, pp. 45\u201360"},{"key":"11_CR37","doi-asserted-by":"crossref","unstructured":"Johnsen, E.B., Owe, O. An asynchronous communication model for distributed concurrent objects. In; Proceedings of the 2nd IEEE International Conference on Software Engineering and Formal Methods (SEFM\u201904), pp. 188\u2013197. IEEE Computer Society Press, Los Alamitos (2004)","DOI":"10.1109\/SEFM.2004.1347520"},{"key":"11_CR38","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/978-3-540-39993-3_9","volume-title":"From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl","author":"E.B. Johnsen","year":"2004","unstructured":"Johnsen E.B., Owe O. (2004). Object-oriented specification and open distributed systems. In: Owe O., Krogdahl S., Lyche T. (eds). From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl. Lecture Notes in Computer Science, vol. 2635, Springer, Berlin Heidelberg New York, pp. 137\u2013164"},{"key":"11_CR39","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1007\/11561163_12","volume-title":"Proceedings of the 3rd International Symposium on Formal Methods for Components and Objects (FMCO 2004)","author":"E.B. Johnsen","year":"2005","unstructured":"Johnsen E.B., Owe O. (2005). A dynamic binding strategy for multiple inheritance and asynchronously communicating objects. In: de Boer F.S., Bonsangue M.M., Graf S., de Roever W.-P. (eds). Proceedings of the 3rd International Symposium on Formal Methods for Components and Objects (FMCO 2004). Lecture Notes in Computer Science, vol. 3657, Springer, Berlin Heidelberg New York, pp. 274\u2013295"},{"key":"11_CR40","doi-asserted-by":"crossref","unstructured":"Johnsen, E.B., Owe, O. Inheritance in the presence of asynchronous method calls. In: Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS\u201905). IEEE Computer Society Press, Los Alamites (2005)","DOI":"10.1109\/HICSS.2005.323"},{"key":"11_CR41","doi-asserted-by":"crossref","unstructured":"Johnsen, E.B., Owe, O., Axelsen, E.W. A run-time environment for concurrent objects with asynchronous method calls. In: N. Mart\u00ed-Oliet, (ed.) Proceedings of the 5th International Workshop on Rewriting Logic and its Applications (WRLA\u201904), March 2004. Electronic Notes in Theoretical Computer Science, vol. 117, pp. 375\u2013392. Elsevier, Amsterdam (2005)","DOI":"10.1016\/j.entcs.2004.06.012"},{"key":"11_CR42","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/11494881_2","volume-title":"Proceedings of the 7th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS\u201905)","author":"E.B. Johnsen","year":"2005","unstructured":"Johnsen E.B., Owe O., Simplot-Ryl I. (2005). A dynamic class construct for asynchronous concurrent objects. In: Steffen M., Zavattaro G. (eds). Proceedings of the 7th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS\u201905). Lecture Notes in Computer Science, vol. 3535, Springer, Berlin Heidelberg New York, pp. 15\u201330"},{"key":"11_CR43","volume-title":"Creol: a type-safe object-oriented model for distributed concurrent systems","author":"E.B. Johnsen","year":"2005","unstructured":"Johnsen E.B., Owe O., Yu I.C. (2005) Creol: a type-safe object-oriented model for distributed concurrent systems. Research Report 327. Department of Informatics, University of Oslo, Norway"},{"key":"11_CR44","unstructured":"Jones, C.B. Development methods for computer programmes including a notion of interference. PhD thesis, Oxford University (l981)"},{"key":"11_CR45","doi-asserted-by":"crossref","unstructured":"Liskov, B.H., Shrira, L. Promises: linguistic support for efficient asynchronous procedure calls in distributed systems. In: Wise, D.S. (ed.) Proceedings of the SIGPLAN Conference on Programming Lanugage Design and Implementation (PLDI\u201988). Atlanta, GE, USA, June 1988, pp. 260\u2013267. ACM Press, New York (1988)","DOI":"10.1145\/53990.54016"},{"issue":"6","key":"11_CR46","doi-asserted-by":"crossref","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"16","author":"B.H. Liskov","year":"1994","unstructured":"Liskov B.H., Wing J.M. (1994) A behavioral notion of subtyping. ACM Trans. on Program. Lang. and Syst. 16(6): 1811\u20131841","journal-title":"ACM Trans. on Program. Lang. and Syst."},{"key":"11_CR47","doi-asserted-by":"crossref","unstructured":"Mahony B.P., Dong, J.S. Sensors and actuators in TCOZ. In: Wing, J.M., Woodcock, J., Davies, J. (eds.) World Congress on Formal Methods (FM\u201999), Proceedings, Volume II. Lecture Notes in Computer Science, vol. 1709, pp. 1166\u20131185. Springer, Berlin Heidelberg New York (1999)","DOI":"10.1007\/3-540-48118-4_12"},{"key":"11_CR48","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/3-540-45102-1_17","volume-title":"14th European Conference on Object-Oriented Programming (ECOOP 2000)","author":"S. Malabarba","year":"2000","unstructured":"Malabarba S., Pandey R., Gragg J., Barr E., Barnes J.F. (2000). Runtime support for type-safe dynamic Java classes. In: Bertino E. (eds). 14th European Conference on Object-Oriented Programming (ECOOP 2000). Lecture Notes in Computer Science, vol. 1850, Springer, Berlin Heidelberg New York, pp. 337\u2013361"},{"key":"11_CR49","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer J. (1992) Conditional rewriting logic as a unified model of concurrency. Theor. Comput. Sci. 96, 73\u2013155","journal-title":"Theor. Comput. Sci."},{"key":"11_CR50","doi-asserted-by":"crossref","unstructured":"Meseguer, J., Rosu, G. Rewriting logic semantics: from language specifications to formal analysis tools. In: Basin, D.A., Rusinowitch, M. (eds.) Automated Reasoning \u2013 Proceeding of the Second International Joint Conference (IJCAR 2004). Lecture Notes in Computer Science, vol. 3097, pp. 1\u201344. Springer, Berlin Heidelberg New York (2004)","DOI":"10.1007\/978-3-540-25984-8_1"},{"key":"11_CR51","volume-title":"Communicating and Mobile Systems: The \u03c0-Calculus","author":"R. Milner","year":"1999","unstructured":"Milner R. (1999) Communicating and Mobile Systems: The \u03c0-Calculus. Cambridge University Press, Cambridge"},{"key":"11_CR52","doi-asserted-by":"crossref","first-page":"1305","DOI":"10.1016\/0169-7552(94)00032-O","volume":"27","author":"E. Najm","year":"1995","unstructured":"Najm E., Stefani J.-B. (1995) A formal semantics for the ODP computational model. Comput. Netw. ISDN Syst. 27, 1305\u20131329","journal-title":"Comput. Netw. ISDN Syst."},{"key":"11_CR53","first-page":"167","volume-title":"Advances in Object-Oriented Software Engineering","author":"O. Nierstrasz","year":"1992","unstructured":"Nierstrasz O. (1992). A tour of Hybrid \u2013 a language for programming with active objects. In: Mandrioli D., Meyer B. (eds). Advances in Object-Oriented Software Engineering. Prentice-Hall, Englewood Cliffs, pp. 167\u2013182"},{"key":"11_CR54","doi-asserted-by":"crossref","unstructured":"Notkin, D., Garlan, D., Griswold, W.G., Sullivan, K. Adding implicit invocation to languages: three approaches. In: Nishio, S., Yonezawa, A. (eds.) Proceedings of the 1st JSSST International Symposium on Object Technologies for Advanced Software. Lecture Notes in Computer Science, vol. 742, pp. 489\u2013510. Springer, Berlin Heidelberg New York (1993)","DOI":"10.1007\/3-540-57342-9_91"},{"issue":"10","key":"11_CR55","doi-asserted-by":"crossref","first-page":"917","DOI":"10.1002\/1096-9128(20000825)12:10<917::AID-CPE517>3.0.CO;2-F","volume":"12","author":"M. Philippsen","year":"2000","unstructured":"Philippsen M. (2000) A survey on concurrent object-oriented languages. Concurrency: Pract. Exp. 12(10): 917\u2013980","journal-title":"Concurrency: Pract. Exp."},{"key":"11_CR56","volume-title":"Proof, Language and Interaction: Essays in Honour of Robin Milner","author":"B.C. Pierce","year":"1998","unstructured":"Pierce B.C., Turner D.N. (1998). Pict: a programming language based on the pi-calculus. In: Plotkin G., Stirling C., Tofte M. (eds). Proof, Language and Interaction: Essays in Honour of Robin Milner. The MIT Press, Cambridge"},{"key":"11_CR57","volume-title":"The \u03c0-Calculus: A Theory of Mobile Processes","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi D., Walker D. (2001) The \u03c0-Calculus: A Theory of Mobile Processes. Cambridge University Press, Cambridge"},{"key":"11_CR58","first-page":"17","volume-title":"Workshop on Studies of Software Design","author":"M. Shaw","year":"1994","unstructured":"Shaw M. (1994). Procedure calls are the assembly language of software interconnection: connectors deserve first-class status. In: Lamb D.A. (eds). Workshop on Studies of Software Design. Lecture Notes in Computer Science, vol. 1078, Springer, Berlin Heidelberg New York, pp. 17\u201332"},{"issue":"3","key":"11_CR59","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1023\/A:1011269103179","volume":"18","author":"G. Smith","year":"2001","unstructured":"Smith G., Derrick J. (2001) Specification, refinement and verification of concurrent systems \u2013 an integration of Object-Z and CSP. Formal Methods Syst. Des. 18(3): 249\u2013284","journal-title":"Formal Methods Syst. Des."},{"key":"11_CR60","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1007\/BFb0052178","volume-title":"Proceedings of the 8th European Conference on Object-Oriented Programming (ECOOP\u201994)","author":"V.T. Vasconcelos","year":"1994","unstructured":"Vasconcelos V.T. (1994). Typed concurrent objects. In: Tokoro M., Pareschi R. (eds). Proceedings of the 8th European Conference on Object-Oriented Programming (ECOOP\u201994). Lecture Notes in Computer Science, vol. 821, Springer, Berlin Heidelberg New York, pp. 100\u2013117"},{"key":"11_CR61","doi-asserted-by":"crossref","unstructured":"Vinoski S. CORBA: integrating diverse applications within distributed heterogeneous environments. IEEE Commun. Mag. 14(2), (1997)","DOI":"10.1109\/35.565655"},{"key":"11_CR62","first-page":"129","volume-title":"Object-Oriented Concurrent Programming","author":"Y. Yokote","year":"1987","unstructured":"Yokote Y., Tokoro M. (1987). Concurrent programming in ConcurrentSmalltalk. In: Yonezawa A., Tokoro M. (eds). Object-Oriented Concurrent Programming. The MIT Press, Cambridge, pp. 129\u2013158"},{"key":"11_CR63","volume-title":"ABCL: An Object-Oriented Concurrent System. Series in Computer Systems","author":"A. Yonezawa","year":"1990","unstructured":"Yonezawa A. (1990) ABCL: An Object-Oriented Concurrent System. Series in Computer Systems. The MIT Press, Cambridge"}],"container-title":["Software &amp; Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-006-0011-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-006-0011-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-006-0011-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T14:47:53Z","timestamp":1736520473000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-006-0011-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,8,22]]},"references-count":63,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,3,7]]}},"alternative-id":["11"],"URL":"https:\/\/doi.org\/10.1007\/s10270-006-0011-2","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,8,22]]}}}