{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:15:37Z","timestamp":1725664537644},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540620648"},{"type":"electronic","value":"9783540496373"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-62064-8_17","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:32:46Z","timestamp":1330277566000},"page":"191-202","source":"Crossref","is-referenced-by-count":3,"title":["Actors as a coordinating model of computation (extended abstract)"],"prefix":"10.1007","author":[{"given":"N.","family":"Raja","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. K.","family":"Shyamasundar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"17_CR1","volume-title":"Actors: A Model of Concurrent Computation in Distributed Systems","author":"G. Agha","year":"1987","unstructured":"Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems, MIT Press, Cambridge Mass., 1987."},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Agha, G.: Supporting Multiparadigm programming on Actor Architectures, Proc. PARLE'89, LNCS (1989).","DOI":"10.1007\/3-540-51285-3_29"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Agha, G., Callsen, C.J.: ActorSpace: An Open Distributed Programming Paradigm, Proc. PPOPP'93, ACM Press (1993) 23\u201332.","DOI":"10.1145\/155332.155335"},{"key":"17_CR4","unstructured":"Agha, G., Mason, I.A., Smith, S., Talcott, C.: Towards a theory of Actor Computation, Proc. CONCUR'93, LNCS 715 (1993). Full version in J. of Functional Programming 1 (1993)."},{"key":"17_CR5","unstructured":"Andreoli, Pareschi,: Objects Meet Rules: from Communication to Coordination through Declarativity, Proc. COORDINATION'94."},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Baude, F., Vidal-Naquet, G.: Actors as a Parallel Programming Model, Proc. STACS'91, LNCS 480 (1991).","DOI":"10.1007\/BFb0020798"},{"key":"17_CR7","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0304-3975(92)90185-I","volume":"96","author":"G. Berry","year":"1992","unstructured":"Berry, G., Boudol, G.: The Chemical Abstract Machine, TCS 96 (1992) 217\u2013248.","journal-title":"TCS"},{"key":"17_CR8","unstructured":"Boudol, G., Asynchrony and the \u03c0-calculus, Research Report 1702, INRIA (1991)."},{"key":"17_CR9","unstructured":"Clinger, W.: Foundations of Actor Semantics, AI-TR 633, MIT (1981)."},{"key":"17_CR10","unstructured":"Hewitt, C., Baker, H.: Laws for Communicating Parallel Processes, Proc. IFIP (1977) 987\u2013992."},{"key":"17_CR11","unstructured":"Hewitt, C., Bishop, P., Sterger, R.: A Universal Modulator Actor Formalism for Artificial Intelligence, Proc. IJCAI'73 (1973) 235\u2013245."},{"key":"17_CR12","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1145\/127070.127079","volume":"2","author":"K. Honda","year":"1991","unstructured":"Honda, K., Tokoro, M.: A Small Calculus for Concurrent Objects, OOPS Messenger 2 (1991) 50\u201354.","journal-title":"OOPS Messenger"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Honda, K., Tokoro, M.: An Object Calculus for Asynchronous Communication, Proc. ECOOP'91, LNCS 512 (1991).","DOI":"10.1007\/BFb0057019"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"Jones, C.B.: A pi-calculus Semantics for an Object-Based Design Notation, Proc. CONCUR'93, LNCS 715 (1993).","DOI":"10.1007\/3-540-57208-2_12"},{"key":"17_CR15","unstructured":"Milner, R.: Communication and Concurrency, Prentice Hall (1989)."},{"key":"17_CR16","unstructured":"Milner, R.: The polyadic \u03c0-calcalus: a tutorial, Logic and Algebra of Specification, Springer-Verlag (1993)."},{"key":"17_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes (Parts I and II), Information and Computation 100 (1992) 1\u201377.","journal-title":"Information and Computation"},{"key":"17_CR18","unstructured":"Milner, R.: Functions as processes, Research Report 1154, INRIA (1990)."},{"key":"17_CR19","unstructured":"Milner, R., Sangiorgi, D.: Barbed Bisimulation, ICALP'92, LNCS 623 (1992)."},{"key":"17_CR20","unstructured":"Nierstrasz, O.: Towards an Object Calculus, Object-Based Concurrent Computing, ECOOP'91 Workshop, LNCS 612."},{"key":"17_CR21","unstructured":"Papathomas, M.: A Unifying Framework for Process Calculus Semantics of Concurrent Object-oriented Languages, ECOOP'91 Workshop, LNCS 612."},{"key":"17_CR22","unstructured":"Raja, N., Shyamasundar, R.K.: Actors as a Coordinating Model of Computation, TIFR Research Report, Bombay (1995)."},{"key":"17_CR23","unstructured":"Sangiorgi, D.: From pi-calculus to higher-order pi-calculus and back, Proc. TAP-SOFT'93, LNCS 668 (1995)."},{"key":"17_CR24","doi-asserted-by":"crossref","unstructured":"Pierce, B.C., Turner, D.N.: Concurrent Objects in a Process Calculus, Proc. TPPP'95, LNCS 907 (1995).","DOI":"10.1007\/BFb0026570"},{"key":"17_CR25","unstructured":"Pierce, B.C., Turner, D.N.: Pict: An Experiment in Concurrent Language Design, Tutorial Notes (1995)."},{"key":"17_CR26","unstructured":"Thomsen,B.: Calculi for higher-order communicating systems, Ph.D. thesis, Imperial College, London University (1990)."},{"key":"17_CR27","unstructured":"Vaandrager, F.W.: Process algebra semantics of POOL, Applications of Process Algebra, CUP (1990)."},{"key":"17_CR28","unstructured":"Vasconcelos, V., Tokoro, M.: Trace Semantics for Actor Systems, Object-Oriented Concurrent Computing, ECOOP'91 Workshop, LNCS 612."},{"key":"17_CR29","unstructured":"Walker, D.: \u03c0-Calculus Semantics of Object-Oriented Programming Languages, Proc. TACS'91, LNCS 526 (1991)."},{"key":"17_CR30","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1006\/inco.1995.1018","volume":"116","author":"D. Walker","year":"1995","unstructured":"Walker, D.: Objects in the \u03c0-Calculus, Information and Computation 116 (1995) 253\u2013271.","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62064-8_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:37:40Z","timestamp":1619559460000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62064-8_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540620648","9783540496373"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-62064-8_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}