{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T19:42:54Z","timestamp":1760730174772},"publisher-location":"Berlin, Heidelberg","reference-count":59,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540213666"},{"type":"electronic","value":"9783540399933"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-39993-3_4","type":"book-chapter","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T18:30:36Z","timestamp":1277231436000},"page":"26-57","source":"Crossref","is-referenced-by-count":14,"title":["An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language"],"prefix":"10.1007","author":[{"given":"Gul","family":"Agha","sequence":"first","affiliation":[]},{"given":"Prasanna","family":"Thati","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_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":"9","key":"4_CR2","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1145\/83880.84528","volume":"33","author":"G. Agha","year":"1990","unstructured":"Agha, G.: Concurrent Object-Oriented Programming. Communications of the ACM\u00a033(9), 125\u2013141 (1990)","journal-title":"Communications of the ACM"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Agha, G., Mason, I., Smith, S., Talcott, C.: A Foundation for Actor Computation. Journal of Functional Programming (1996)","DOI":"10.1017\/S095679689700261X"},{"key":"4_CR4","unstructured":"Agha, G., Wegner, P., Yonezawa, A. (eds.): Proceedings of the ACM SIGPLAN workshop on object-based concurrent programming. Special issue of SIGPLAN Notices"},{"issue":"5","key":"4_CR5","doi-asserted-by":"crossref","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. CACM\u00a044(5), 99\u2013107 (2001)","journal-title":"CACM"},{"key":"4_CR6","unstructured":"Birtwistle, G.M., Dahl, O.-J., Myhrhaug, B., Nygaard, K.: Simula Begin. Van Nostrand Reinhold, New York (1973)"},{"issue":"2","key":"4_CR7","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1006\/inco.2001.3080","volume":"172","author":"M. Boreale","year":"2002","unstructured":"Boreale, M., de Nicola, R., Pugliese, R.: Trace and testing equivalence on asynchronous processes. Information and Computation\u00a0172(2), 139\u2013164 (2002)","journal-title":"Information and Computation"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Boreale, M., Sangiorgi, D.: Some congruence properties for \u03c0-calculus bisimilarities. Theoretical Computer Science 198 (1998)","DOI":"10.1016\/S0304-3975(97)00125-4"},{"key":"4_CR9","unstructured":"Briot, J.P.: Acttalk: A framework for object-oriented concurrent programming - design and experience. In: Object-based parallel and distributed computing II - Proceedings of the 2nd France-Japan workshop (1999)"},{"key":"4_CR10","unstructured":"Clinger, W.D.: Foundations of Actor Semantics. PhD thesis, Massachusetts Institute of Technology, AI Laboratory (1981)"},{"key":"4_CR11","first-page":"37","volume-title":"International Conference on Object-Oriented Information Systems","author":"J. Darlington","year":"1994","unstructured":"Darlington, J., Guo, Y.K.: Formalizing actors in linear logic. In: International Conference on Object-Oriented Information Systems, pp. 37\u201353. Springer, Heidelberg (1994)"},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. Nicola de","year":"1984","unstructured":"de Nicola, R., Hennesy, M.: Testing equivalence for processes. Theoretical Computer Science\u00a034, 83\u2013133 (1984)","journal-title":"Theoretical Computer Science"},{"key":"4_CR13","unstructured":"Dagnat, F., Pantel, M., Colin, M., Sall, P.: Typing concurrent objects and actors. In: L\u2019Objet \u2013 Mthodes formelles pour les objets (L\u2019OBJET), vol.\u00a06, pp. 83\u2013106 (2000)"},{"key":"4_CR14","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2168.001.0001","volume-title":"Coordinating Distributed Objects: An Actor-Based Approach for Synchronization","author":"S. Frolund","year":"1996","unstructured":"Frolund, S.: Coordinating Distributed Objects: An Actor-Based Approach for Synchronization. MIT Press, Cambridge (1996)"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Gaspari, M., Zavattaro, G.: An Algebra of Actors. In: Formal Methods for Open Object Based Systems (1999)","DOI":"10.1007\/978-0-387-35562-7_2"},{"key":"4_CR16","unstructured":"Greif, I.: Semantics of communicating parallel processes. Technical Report 154, MIT, Project MAC (1975)"},{"key":"4_CR17","volume-title":"Algebraic Theory of Processes","author":"M. Hennessy","year":"1988","unstructured":"Hennessy, M.: Algebraic Theory of Processes. MIT Press, Cambridge (1988)"},{"issue":"3","key":"4_CR18","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/0004-3702(77)90033-9","volume":"8","author":"C. Hewitt","year":"1977","unstructured":"Hewitt, C.: Viewing Control Structures as Patterns of Message Passing. Journal of Artificial Intelligence\u00a08(3), 323\u2013364 (1977)","journal-title":"Journal of Artificial Intelligence"},{"key":"4_CR19","unstructured":"Hewitt, C., Bishop, P., Steiger, R.: A Universal Modular Actor Formalism for Artificial Intelligence. In: International Joint Conference on Artificial Intelligence, pp. 235\u2013245 (1973)"},{"key":"4_CR20","volume-title":"Communication Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communication Sequential Processes. Prentice Hall, Englewood Cliffs (1985)"},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BFb0057019","volume-title":"ECOOP \u201991 European Conference on Object-Oriented Programming","author":"K. Honda","year":"1991","unstructured":"Honda, K., Tokoro, M.: An Object Calculus for Asynchronous Communication. In: America, P. (ed.) ECOOP 1991. LNCS, vol.\u00a0512, pp. 133\u2013147. Springer, Heidelberg (1991)"},{"key":"4_CR22","unstructured":"Colao, J.-L., Pantel, M., Sall, P.: Analyse de linarit par typage dans un calcul d\u2019acteurs primitifs. In: Actes des Journes Francophones des Langages Applicatifs, JFLA (1997)"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Jamali, N., Thati, P., Agha, G.: An actor based architecture for customizing and controlling agent ensembles. IEEE Intelligent Systems\u00a014(2) (1999)","DOI":"10.1109\/5254.757630"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Kale, L.V., Krishnan, S.: CHARM++: A portable concurrent object oriented system based on C++. In: Proceedings of the Conference on Object Oriented Programming Systems, Languages and Applications (1993)","DOI":"10.1145\/165854.165874"},{"key":"4_CR25","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., Mendhekar, A., Maeda, C., Lopes, C.V., 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":"4_CR26","unstructured":"Kim, W.: ThAL: An Actor System for Efficient and Scalable Concurrent Computing. PhD thesis, University of Illinois at Urbana Champaign (1997)"},{"key":"4_CR27","doi-asserted-by":"crossref","unstructured":"Kim, W., Agha, G.: Efficient support of location transparency in concurrent object-oriented programming languages. In: Proceedings of SuperComputing (1995)","DOI":"10.1145\/224170.224297"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"Kobayashi, N., Yonezawa, A.: Higher-order concurrent linear logic programming. Theory and Practice of Parallel Programming, 137\u2013166 (1994)","DOI":"10.1007\/BFb0026568"},{"key":"4_CR29","doi-asserted-by":"crossref","unstructured":"Kobayashi, N., Yonezawa, A.: Towards foundations of concurrent objectoriented programming \u2013 types and language design. Theory and Practice of Object Systems\u00a01(4) (1995)","DOI":"10.1002\/j.1096-9942.1995.tb00020.x"},{"key":"4_CR30","doi-asserted-by":"crossref","unstructured":"Lee, E., Neuendorffer, S., Wirthlin, M.: Actor-oriented design of embedded hardware and software systems. Journal of circuits, systems, and computers (2002)","DOI":"10.1142\/S0218126603000751"},{"key":"4_CR31","doi-asserted-by":"crossref","unstructured":"Maes, P.: Computational Reflection. PhD thesis, Vrije University, Brussels, Belgium, Technical Report 87-2 (1987)","DOI":"10.1007\/978-3-642-73005-4_27"},{"key":"4_CR32","doi-asserted-by":"crossref","unstructured":"Maes, P.: Intelligent software: Easing the burdens that computers put on people. IEEE Expert, special issue on intelligent agents (1996)","DOI":"10.1109\/64.546584"},{"key":"4_CR33","unstructured":"Mart\u00ed-Oliet, N., Meseguer, J.: Rewriting logic as a logical and semantic framework (1993)"},{"key":"4_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/3-540-63165-8_193","volume-title":"Automata, Languages and Programming","author":"I.A. Mason","year":"1997","unstructured":"Mason, I.A., Talcott, C.: A semantically sound actor translation. In: Degano, P., Gorrieri, R., Marchetti-Spaccamela, A. (eds.) ICALP 1997. LNCS, vol.\u00a01256, pp. 369\u2013378. Springer, Heidelberg (1997)"},{"key":"4_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"856","DOI":"10.1007\/BFb0055108","volume-title":"Automata, Languages and Programming","author":"M. Merro","year":"1998","unstructured":"Merro, M., Sangiorgi, D.: On Asynchrony in Name-Passing Calculi. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol.\u00a01443, p. 856. Springer, Heidelberg (1998)"},{"key":"4_CR36","unstructured":"Meseguer, J.: Rewriting Logic as a Unified Model of Concurrency. Technical Report SRI-CSI-90-02, SRI International, Computer Science Laboratory (February 1990)"},{"key":"4_CR37","doi-asserted-by":"crossref","unstructured":"Meseguer, J., Talcott, C.: Semantic models for distributed object reflection. In: Proceedings of the European Conference on Object-Oriented Programming, pp. 1\u201336 (2002)","DOI":"10.1007\/3-540-47993-7_1"},{"key":"4_CR38","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989)"},{"issue":"1","key":"4_CR39","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1145\/151233.151240","volume":"36","author":"R. Milner","year":"1993","unstructured":"Milner, R.: Interactions, turing award lecture. Communications of the ACM\u00a036(1), 79\u201397 (1993)","journal-title":"Communications of the ACM"},{"key":"4_CR40","volume-title":"Communicating and Mobile Systems: the \u03c0-calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: the \u03c0-calculus. Cambridge University Press, Cambridge (1999)"},{"key":"4_CR41","doi-asserted-by":"publisher","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\u00a0100, 1\u201377 (1992)","journal-title":"Information and Computation"},{"key":"4_CR42","doi-asserted-by":"crossref","unstructured":"Miriyala, S., Agha, G., Sami, Y.: Visulatizing actor programs using predicate transition nets. Journal of Visual Programming (1992)","DOI":"10.1016\/1045-926X(92)90015-E"},{"key":"4_CR43","unstructured":"Open Systems Laboratory. The Actor Foundry: A Java based actor programming language. Available for download at http:\/\/www-osl.cs.uiuc.edu\/foundry"},{"key":"4_CR44","doi-asserted-by":"crossref","unstructured":"Peterson, J.L.: Petri nets. Comput. Survey (September 1977)","DOI":"10.1145\/356698.356702"},{"key":"4_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"474","DOI":"10.1007\/3-540-44618-4_34","volume-title":"CONCUR 2000 - Concurrency Theory","author":"A. Ravara","year":"2000","unstructured":"Ravara, A., Vasconcelos, V.: Typing non-uniform concurrent objects. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, pp. 474\u2013488. Springer, Heidelberg (2000)"},{"key":"4_CR46","series-title":"Lecture Notes in Computer Science","volume-title":"Automata, Languages and Programming","author":"R. Milner","year":"1992","unstructured":"Milner, R., Sangiorgi, D.: Barbed bisimulation. In: Kuich, W. (ed.) ICALP 1992. LNCS, vol.\u00a0623, Springer, Heidelberg (1992)"},{"key":"4_CR47","doi-asserted-by":"crossref","unstructured":"Sturman, D., Agha, G.: A protocol description language for cutomizing semantics. In: Proceedings of symposium on reliable distributed systems, pp. 148\u2013157 (1994)","DOI":"10.1109\/RELDIS.1994.336900"},{"key":"4_CR48","doi-asserted-by":"crossref","unstructured":"Talcott, C.: An Actor Rewriting Theory. Electronic Notes in Theoretical Computer Science\u00a05 (1996)","DOI":"10.1016\/S1571-0661(04)00047-7"},{"key":"4_CR49","volume-title":"Formal Methods for Open Object Based Distributed Systems","author":"C. Talcott","year":"1996","unstructured":"Talcott, C.: Interaction Semantics for Components of Distributed Systems. In: Najm, E., Stefani, J.B. (eds.) Formal Methods for Open Object Based Distributed Systems. Chapman & Hall, Boca Raton (1996)"},{"key":"4_CR50","doi-asserted-by":"crossref","unstructured":"Talcott, C.: Composable semantic models for actor theories. Higher-Order and Symbolic Computation, 11(3) (1998)","DOI":"10.1023\/A:1010042915896"},{"key":"4_CR51","doi-asserted-by":"crossref","unstructured":"Taura, K., Matsuoka, S., Yonezawa, A.: An efficient implementation scheme of concurrent object-oriented languages on stock multicomputers. In: Symposium on principles and practice of parallel programming (PPOPP), pp. 218\u2013228 (1993)","DOI":"10.1145\/155332.155355"},{"key":"4_CR52","unstructured":"Thati, P., Sen, K., Mart\u00ed-Oliet, N.: An executable specification of asynchronous pi-calculus semantics and may testing in maude 2.0. In: 4 th International Workshop on Rewriting Logic and its Applications (September 2002)"},{"key":"4_CR53","doi-asserted-by":"crossref","unstructured":"Thati, P., Ziaei, R., Agha, G.: A theory of may testing for actors. In: Formal Methods for Open Object-based Distributed Systems (March 2002)","DOI":"10.1007\/978-0-387-35496-5_11"},{"key":"4_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/3-540-45719-4_16","volume-title":"Algebraic Methodology and Software Technology","author":"P. Thati","year":"2002","unstructured":"Thati, P., Ziaei, R., Agha, G.: A theory of may testing for asynchronous calculi with locality and no name matching. In: Kirchner, H., Ringeissen, C. (eds.) AMAST 2002. LNCS, vol.\u00a02422, p. 223. Springer, Heidelberg (2002)"},{"issue":"4","key":"4_CR55","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1145\/67387.67410","volume":"24","author":"C. Tomlinson","year":"1989","unstructured":"Tomlinson, C., Kim, W., Schevel, M., Singh, V., Will, B., Agha, G.: Rosette: An object-oriented concurrent system architecture. Sigplan Notices\u00a024(4), 91\u201393 (1989)","journal-title":"Sigplan Notices"},{"issue":"12","key":"4_CR56","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/583960.583964","volume":"36","author":"C. Varela","year":"2001","unstructured":"Varela, C., Agha, G.: Programming dynamically reconfigurable open systems with SALSA. SIGPLAN Notices\u00a036(12), 20\u201334 (2001)","journal-title":"SIGPLAN Notices"},{"key":"4_CR57","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/3-540-45251-6_11","volume-title":"FME 2001: Formal Methods for Increasing Software Productivity","author":"N. Venkatasubramanian","year":"2001","unstructured":"Venkatasubramanian, N., Talcott, C., Agha, G.: A formal model for reasoning about adaptive QoS-enabled middleware. In: Oliveira, J.N., Zave, P. (eds.) FME 2001. LNCS, vol.\u00a02021, p. 197. Springer, Heidelberg (2001)"},{"key":"4_CR58","doi-asserted-by":"crossref","unstructured":"Wegner, P.: Dimensions of object-based language design. In: Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pp. 168\u2013182 (1987)","DOI":"10.1145\/38765.38823"},{"key":"4_CR59","volume-title":"ABCL: An Object-Oriented Concurrent System","author":"A. Yonezawa","year":"1990","unstructured":"Yonezawa, A.: ABCL: An Object-Oriented Concurrent System. MIT Press, Cambridge (1990)"}],"container-title":["Lecture Notes in Computer Science","From Object-Orientation to Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39993-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,29]],"date-time":"2021-10-29T23:57:12Z","timestamp":1635551832000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39993-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540213666","9783540399933"],"references-count":59,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39993-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}