Actors as a coordinating model of computation

Raja, N. ; Shyamasundar, R. K. (2006) Actors as a coordinating model of computation Informatica, 30 (2). pp. 233-244. ISSN 0350-5596

Full text not available from this repository.

Official URL: http://www.informatica.si/PDF/30-2/09_Raja-Actors%...

Abstract

This paper relates two prominent models of concurrent computation, namely Actors and the π-calculus . We build on a thesis that proclaims - Actors enact the role of a coordinating model of computation. We enrich the Actor model by defining a mechanism for achieving a higher level of abstraction. This helps in reasoning with collections of Actors termed Actor Troupes . We identify a notion of interaction equivalence between Actor Troupes; and provide a semantic foundation for the enriched Actor model, in terms of the π-calculus - which has emerged as the canonical process calculus for the semantic analysis of object- based concurrent systems. Furthermore, we show that the algebraic notion of barbed bisimilarity in the π-calculus, corresponds precisely to interaction equivalence of the corresponding Actor Troupes

Item Type:Article
Source:Copyright of this article belongs to Slovene Society Informatika.
ID Code:56589
Deposited On:24 Aug 2011 11:01
Last Modified:24 Aug 2011 11:01

Repository Staff Only: item control page