{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:35:31Z","timestamp":1761597331172},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540556138"},{"type":"electronic","value":"9783540472605"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55613-3_1","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:27:20Z","timestamp":1330252040000},"page":"1-20","source":"Crossref","is-referenced-by-count":19,"title":["Towards an object calculus"],"prefix":"10.1007","author":[{"given":"Oscar","family":"Nierstrasz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"1_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. A. Agha","year":"1986","unstructured":"G.A. Agha, ACTORS: A Model of Concurrent Computation in Distributed Systems, The MIT Press, Cambridge, Massachusetts, 1986."},{"key":"1_CR2","volume-title":"A Pattern Language","author":"C. Alexander","year":"1977","unstructured":"C. Alexander, S. Ishakawa and M. Silverstein, A Pattern Language, Oxford University Press, New York, 1977."},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"P. America, J. de Bakker, J.N. Kok and J. Rutten, \u201cOperational Semantics of a Parallel Object-Oriented Language,\u201d in Proceedings POPL '86, pp. 194\u2013208, St. Petersburg Beach, Florida, Jan 13\u201315, 1986.","DOI":"10.1145\/512644.512662"},{"issue":"no.2","key":"1_CR4","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1016\/0890-5401(89)90057-6","volume":"83","author":"P. America","year":"1989","unstructured":"P. America, J. de Bakker, J. Kok and J. Rutten, \u201cDenotational Semantics of a Parallel Object-Oriented Language,\u201d Information and Computation, vol. 83, no. 2, pp. 152\u2013205, Nov 1989.","journal-title":"Information and Computation"},{"issue":"no.10","key":"1_CR5","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1145\/97946.97966","volume":"25","author":"P. America","year":"1990","unstructured":"P. America, \u201cA Parallel Object-Oriented Language with Inheritance and Subtyping,\u201d ACM SIGPLAN Notices, Proceedings OOPSLA\/ECOOP '90, vol. 25, no. 10, pp. 161\u2013168, Oct 1990.","journal-title":"ACM SIGPLAN Notices, Proceedings OOPSLA\/ECOOP '90"},{"key":"1_CR6","unstructured":"H.P. Barendregt, The Lambda Calculus \u2014 Its Syntax and Semantics, Studies in Logic and the Foundations of Mathematics, 103, North-Holland, 1984, (Revised edition)."},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"G. Berry and G. Boudol, \u201cThe Chemical Abstract Machine,\u201d in Proceedings POPL '90, pp. 81\u201394, San Francisco, Jan 17\u201319, 1990.","DOI":"10.1145\/96709.96717"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"G. Boudol, \u201cTowards a Lambda-Calculus for Concurrent and Communicating Systems,\u201d in Proceedings TAPSOFT '89, ed. D\u00edaz and Orejas, LNCS 351, pp. 149\u2013161, Springer-Verlag, 1989.","DOI":"10.1007\/3-540-50939-9_130"},{"issue":"no.10","key":"1_CR9","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1145\/97946.97982","volume":"25","author":"G. Bracha","year":"1990","unstructured":"G. Bracha and Wm. Cook, \u201cMixin-based Inheritance,\u201d ACM SIGPLAN Notices, Proceedings OOPSLA\/ECOOP '90, vol. 25, no. 10, pp. 303\u2013311, Oct 1990.","journal-title":"ACM SIGPLAN Notices, Proceedings OOPSLA\/ECOOP '90"},{"key":"1_CR10","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1016\/0890-5401(88)90007-7","volume":"76","author":"L. Cardelli","year":"1988","unstructured":"L. Cardelli, \u201cA Semantics of Multiple Inheritance,\u201d Information and Computation, vol. 76, pp. 138\u2013164, 1988.","journal-title":"Information and Computation"},{"issue":"no.3","key":"1_CR11","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1145\/72551.72553","volume":"21","author":"N. Carriero","year":"1989","unstructured":"N. Carriero and D. Gelernter, \u201cHow to Write Parallel Programs: A Guide to the Perplexed,\u201d ACM Computing Surveys, vol. 21, no. 3, pp. 323\u2013357, Sept 1989.","journal-title":"ACM Computing Surveys"},{"key":"1_CR12","unstructured":"W.D. Clinger, \u201cFoundations of Actor Semantics,\u201d AI-TR-633, MIT Artificial Intelligence Laboratory, May 1981."},{"issue":"no.10","key":"1_CR13","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1145\/74878.74922","volume":"24","author":"Wm. Cook","year":"1989","unstructured":"Wm. Cook, \u201cA Denotational Semantics of Inheritance,\u201d ACM SIGPLAN Notices, Proceedings OOPSLA '89, vol. 24, no. 10, pp. 433\u2013443, Oct 1989.","journal-title":"ACM SIGPLAN Notices, Proceedings OOPSLA '89"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Wm. Cook, W. Hill and P. Canning, \u201cInheritance is not Subtyping,\u201d in Proceedings POPL '90, San Francisco, Jan 17\u201319, 1990.","DOI":"10.1145\/96709.96721"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"U. Engberg and M. Nielsen, \u201cA Calculus of Communicating Systems with Label Passing,\u201d DAIMI PB-208, University of Aarhus, 1986.","DOI":"10.7146\/dpb.v15i208.7559"},{"issue":"no.10","key":"1_CR16","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1145\/97946.97967","volume":"25","author":"R. Helm","year":"1990","unstructured":"R. Helm, I.M. Holland and D. Gangopadhyay, \u201cContracts: Specifying Behavioural Compositions in Object-Oriented Systems,\u201d ACM SIGPLAN Notices, Proceedings OOPSLA\/ECOOP '90, vol. 25, no. 10, pp. 169\u2013180, Oct 1990.","journal-title":"ACM SIGPLAN Notices, Proceedings OOPSLA\/ECOOP '90"},{"key":"1_CR17","unstructured":"A.V. Hense, \u201cDenotational Semantics of an Object Oriented Programming Language with Explicit Wrappers,\u201d Technical report A11\/90, FB 14, Universit\u00e4t des Saarlandes, Nov. 5, 1990, submitted for publication."},{"issue":"no.3","key":"1_CR18","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/0004-3702(77)90033-9","volume":"8","author":"C. Hewitt","year":"1977","unstructured":"C. Hewitt, \u201cViewing Control Structures as Patterns of Passing Messages,\u201d Artificial Intelligence, vol. 8, no. 3, pp. 323\u2013364, June 1977.","journal-title":"Artificial Intelligence"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare, Communicating Sequential Processes, Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"1_CR20","series-title":"LNCS 512","first-page":"133","volume-title":"Proceedings ECOOP '91","author":"K. Honda","year":"1991","unstructured":"K. Honda and M. Tokoro, \u201cAn Object Calculus for Asynchronous Communication,\u201d in Proceedings ECOOP '91, ed. P. America, LNCS 512, pp. 133\u2013147, Springer-Verlag, Geneva, Switzerland, July 15\u201319, 1991."},{"key":"1_CR21","volume-title":"Proceedings of the ECOOP '91 Workshop on Object-Based Concurrent Computing","author":"K. Honda","year":"1991","unstructured":"K. Honda and M. Tokoro, \u201cOn Asynchronous Communication Semantics,\u201d in Proceedings of the ECOOP '91 Workshop on Object-Based Concurrent Computing, ed. M. Tokoro, O. Nierstrasz, P. Wegner, A. Yonezawa, LNCS, Springer-Verlag, Geneva, Switzerland, July 15\u201316, 1991, to appear."},{"key":"1_CR22","first-page":"131","volume-title":"Proceedings ECOOP '89","author":"D. G. Kafura","year":"1989","unstructured":"D.G. Kafura and K.H. Lee, \u201cInheritance in Actor Based Concurrent Object-Oriented Languages,\u201d in Proceedings ECOOP '89, pp. 131\u2013145, Cambridge University Press, Nottingham, July 10\u201314, 1989."},{"issue":"no.10","key":"1_CR23","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1145\/97946.97958","volume":"25","author":"J. Meseguer","year":"1990","unstructured":"J. Meseguer, \u201cA Logical Theory of Concurrent Objects,\u201d ACM SIGPLAN Notices, Proceedings OOPSLA\/ECOOP '90, vol. 25, no. 10, pp. 101\u2013115, Oct 1990.","journal-title":"ACM SIGPLAN Notices, Proceedings OOPSLA\/ECOOP '90"},{"key":"1_CR24","unstructured":"R. Milner, Communication and Concurrency, Prentice-Hall, 1989."},{"key":"1_CR25","unstructured":"R. Milner, J. Parrow and D. Walker, \u201cA Calculus of Mobile Processes, Parts I and II,\u201d Reports ECS-LFCS-89-85 and-86, Computer Science Dept., University of Edinburgh, March 1989."},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"R. Milner, \u201cFunctions as Processes,\u201d in Proceedings ICALP '90, ed. M.S. Paterson, LNCS 443, pp. 167\u2013180, Springer-Verlag, Warwick U., July 1990.","DOI":"10.1007\/BFb0032030"},{"key":"1_CR27","unstructured":"R. Milner, \u201cSorts and Types in the \u03c0 Calculus,\u201d manuscript (RM15), Computer Science Dept., University of Edinburgh, December 1990."},{"key":"1_CR28","series-title":"LNCS 366","first-page":"357","volume-title":"Proceedings PARLE '89, Vol II","author":"F. Nielson","year":"1989","unstructured":"F. Nielson, \u201cThe Typed Lambda-Calculus with First-Class Processes,\u201d in Proceedings PARLE '89, Vol II, ed. E. Odijk, J-C. Syre, LNCS 366, pp. 357\u2013373, Springer Verlag, Eindhoven, June 1989."},{"issue":"no.10","key":"1_CR29","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1145\/97946.97952","volume":"25","author":"O. M. Nierstrasz","year":"1990","unstructured":"O.M. Nierstrasz and M. Papathomas, \u201cViewing Objects as Patterns of Communicating Agents,\u201d ACM SIGPLAN Notices, Proceedings OOPSLA\/ECOOP '90, vol. 25, no. 10, pp. 38\u201343, Oct 1990.","journal-title":"ACM SIGPLAN Notices, Proceedings OOPSLA\/ECOOP '90"},{"key":"1_CR30","unstructured":"O.M. Nierstrasz, \u201cA Guide to Specifying Concurrent Behaviour with Abacus,\u201d in Object Management, ed. D.C. Tsichritzis, pp. 267\u2013293, Centre Universitaire d'Informatique, University of Geneva, July 1990."},{"issue":"no.2","key":"1_CR31","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1145\/127056.127092","volume":"2","author":"O. M. Nierstrasz","year":"1991","unstructured":"O.M. Nierstrasz and M. Papathomas, \u201cTowards a Type Theory for Active Objects,\u201d ACM OOPS Messenger, Proceedings OOPSLA\/ECOOP 90 workshop on Object-Based Concurrent Systems, vol. 2, no. 2, pp. 89\u201393, April 1991.","journal-title":"ACM OOPS Messenger, Proceedings OOPSLA\/ECOOP 90 workshop on Object-Based Concurrent Systems"},{"key":"1_CR32","unstructured":"O. Nierstrasz, \u201cThe Next 700 Concurrent Object-Oriented Languages\u2014Reflections on the Future of Object-Based Concurrency,\u201d in Object Composition, ed. D.C. Tsichritzis, pp. 165\u2013187, Centre Universitaire d'Informatique, University of Geneva, June 1991, Submitted for publication."},{"key":"1_CR33","unstructured":"M. Papathomas,\u201cConcurrency Issues in Object-Oriented Programming Languages,\u201d in Object Oriented Development, ed. D.C. Tsichritzis, pp. 207\u2013245, Centre Universitaire d'Informatique, University of Geneva, July 1989."},{"key":"1_CR34","volume-title":"Proceedings of the ECOOP '91 Workshop on Object-Based Concurrent Computing","author":"M. Papathomas","year":"1991","unstructured":"M. Papathomas,\u201cA Unifying Framework for Process Calculus Semantics of Concurrent Object-Based Languages,\u201d in Proceedings of the ECOOP '91 Workshop on Object-Based Concurrent Computing, ed. M. Tokoro, O. Nierstrasz, P. Wegner, A. Yonezawa, LNCS, Springer-Verlag, Geneva, Switzerland, July 15\u201316, 1991, to appear."},{"key":"1_CR35","first-page":"3","volume-title":"Proceedings ECOOP '89","author":"R. K. Raj","year":"1989","unstructured":"R.K. Raj and H.M. Levy,\u201cA Compositional Model for Software Reuse,\u201d in Proceedings ECOOP '89, pp. 3\u201324, Cambridge University Press, Nottingham, July 10\u201314, 1989."},{"key":"1_CR36","unstructured":"D. Sangiorgi, forthcoming Ph.D. thesis, Computer Science Dept., University of Edinburgh, 1992."},{"key":"1_CR37","first-page":"25","volume-title":"Proceedings ECOOP '89","author":"D. Taenzer","year":"1989","unstructured":"D. Taenzer, M. Ganti and S. Podar,\u201cProblems in Object-Oriented Software Reuse,\u201d in Proceedings ECOOP '89, pp. 25\u201338, Cambridge University Press, Nottingham, July 10\u201314, 1989."},{"key":"1_CR38","doi-asserted-by":"crossref","unstructured":"B. Thomsen,\u201cA Calculus of Higher Order Communicating Systems,\u201d in Proceedings POPL '89, pp. 143\u2013154, Austin, Texas, Jan 11\u201313, 1989.","DOI":"10.1145\/75277.75290"}],"container-title":["Lecture Notes in Computer Science","Object-Based Concurrent Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55613-3_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T04:31:31Z","timestamp":1640925091000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55613-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540556138","9783540472605"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/3-540-55613-3_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}