{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:17Z","timestamp":1725663617124},"publisher-location":"Berlin, Heidelberg","reference-count":20,"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_3","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:27:19Z","timestamp":1330252039000},"page":"53-79","source":"Crossref","is-referenced-by-count":4,"title":["A unifying framework for process calculus semantics of concurrent object-oriented languages"],"prefix":"10.1007","author":[{"given":"Michael","family":"Papathomas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"3_CR1","first-page":"199","volume-title":"Object-Oriented Concurrent Programming","author":"P. America","year":"1987","unstructured":"P. America,\u201cPOOL-T: A Parallel Object-Oriented Language,\u201d in Object-Oriented Concurrent Programming, ed. A. Yonezawa, M. Tokoro, pp. 199\u2013220, The MIT Press, Cambridge, Massachusetts, 1987."},{"key":"3_CR2","first-page":"89","volume-title":"LNCS 16","author":"R. H. Campbell","year":"1974","unstructured":"R.H. Campbell and A.N. Habermann,\u201cThe Specification of Process Synchronization by Path Expressions,\u201d LNCS 16, pp. 89\u2013102, Springer-Verlag, New York, 1974."},{"key":"3_CR3","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"},{"key":"3_CR4","unstructured":"A. Goldberg and D. Robson, Smalltalk-80: The Language and its Implementation, Addison-Wesley, 1983."},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"D. G. Kafura and K. H. Lee,\u201cInheritance in Actor Based Concurrent Object-Oriented Languages,\u201d in Proceedings ECOOP'89, ed. S. Cook, British Computer Society Workshop Series, Cambridge University Press, 1989.","DOI":"10.1093\/comjnl\/32.4.297"},{"issue":"no.11","key":"3_CR6","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1145\/960112.28718","volume":"21","author":"H. Lieberman","year":"1986","unstructured":"H. Lieberman,\u201cUsing Prototypical Objects to Implement Shared Behavior in Object Oriented Systems,\u201d ACM SIGPLAN Notices, Proceedings OOPSLA '86, vol. 21, no. 11, pp. 214\u2013223, Nov 1986.","journal-title":"ACM SIGPLAN Notices, Proceedings OOPSLA '86"},{"key":"3_CR7","unstructured":"R. Milner, Communication and Concurrency, Prentice Hall International Series in Computer Science, 1989."},{"key":"3_CR8","unstructured":"R. Milner, J. Parrow and D. Walker, \u201cA Calculus of Mobile Processes, Part I and II,\u201d Report ECS-LFCS-89-85 and-86, Laboratory for Foundations of Computer Science, Computer Science Department, University of Edinburgh, 1989."},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"J.E.B. Moss and W.H. Kohler,\u201cConcurrency Features for the Trellis\/Owl Language,\u201d in Proc. of ECOOP'87, BIGRE, no. 54, pp. 223\u2013232, June 1987.","DOI":"10.1007\/3-540-47891-4_16"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"O.M. Nierstrasz and M. Papathomas,\u201cViewing Objects as Patterns of Communicating Agents.,\u201d OOPS-LA'90 Proceedings, SIGPLAN Notices, vol. 25, no. 10, ACM Press, October 1990.","DOI":"10.1145\/97946.97952"},{"key":"3_CR11","unstructured":"O.M. Nierstrasz,\u201cA Guide to Specifying Concurrent Behavior with Abacus,\u201d in Object Management, ed. D.C. Tsichritzis, pp. 267\u2013293, Centre Universitaire d'Informatique, University of Geneva, July 1990."},{"key":"3_CR12","unstructured":"M. Papathomas,\u201cConcurrency Issues in Object-Oriented Languages,\u201d in Object Oriented Development, Centre Universitaire d'Informatique, University of Geneva, ed. D. Tsichritzis, pp. 207\u2013245, 1989."},{"key":"3_CR13","unstructured":"M. Papathomas and D. Konstantas,\u201cIntegrating Concurrency and Object-Oriented Programming: An Evaluation of Hybrid,\u201d in Object Management, Centre Universitaire d'Informatique, University of Geneva, ed. D. Tsichritzis, pp. 229\u2013244, 1990."},{"issue":"no.11","key":"3_CR14","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1145\/960112.28702","volume":"21","author":"A. Snyder","year":"1986","unstructured":"A. Snyder,\u201cEncapsulation and Inheritance in Object-Oriented Programming Languages,\u201d Proc. OOPA-LA'86, ACM SIGPLAN Notices, vol. 21, no. 11, pp. 38\u201345, Nov 1986.","journal-title":"Proc. OOPA-LA'86, ACM SIGPLAN Notices"},{"issue":"no.10","key":"3_CR15","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1145\/74878.74889","volume":"24","author":"C. Tomlinson","year":"1989","unstructured":"C. Tomlinson and V. Singh,\u201cInheritance and Synchronization with Enabled Sets,\u201d ACM SIGPLAN Notices, Proceedings OOPSLA '89, vol. 24, no. 10, pp. 103\u2013112, Oct 1989.","journal-title":"ACM SIGPLAN Notices, Proceedings OOPSLA '89"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"B. Thomsen,\u201cA Calculus of Higher Order Communicating Systems,\u201d Proc. 16th POPL, pp. 143\u2013154, Austin, Texas, Jan 11\u201313, 1989.","DOI":"10.1145\/75277.75290"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"F.W. Vaandrager,\u201cProcess algebra semantics of POOL,\u201d in Applications of Process Algebra, ed. J.C. Baeten, Cambridge Tracts in Theoretical Computer Science 17, pp. 173\u2013236, Cambridge University Press, 1990.","DOI":"10.1017\/CBO9780511608841.010"},{"key":"3_CR18","unstructured":"D. Walker,\u201c\u03c0-calculus Semantics of Object-Oriented Programming Languages,\u201d Report ECS-LFCS-90-122, Laboratory for Foundations of Computer Science, Computer Science Department, University of Edinburgh, Oct. 1990."},{"key":"3_CR19","first-page":"129","volume-title":"Object-Oriented Corcurrent Programming","author":"Y. Yokote","year":"1987","unstructured":"Y. Yokote and M. Tokoro,\u201cConcurrent Programming in ConcurrentSmalltalk,\u201d in Object-Oriented Corcurrent Programming, ed. M. Tokoro, pp. 129\u2013158, The MIT press, Cambridge, Massachusetts, 1987."},{"issue":"no.11","key":"3_CR20","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1145\/960112.28722","volume":"21","author":"A. Yonezawa","year":"1986","unstructured":"A. Yonezawa, J-P Briot and E. Shibayama,\u201cObject-Oriented Concurrent Programming in ABCL\/1,\u201d ACM SIGPLAN Notices, Proceedings OOPSLA '86, vol. 21, no. 11, pp. 258\u2013268, Nov 1986.","journal-title":"ACM SIGPLAN Notices, Proceedings OOPSLA '86"}],"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_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:00:46Z","timestamp":1605646846000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55613-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540556138","9783540472605"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-55613-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}