An actor algebra for specifying distributed systems: The hurried philosophers case study

Authors:
Mauro Gaspari;Gianluigi Zavattaro
Affiliations:
-;-
Venue:
Concurrent object-oriented programming and petri nets
Year:
2001

Citing 18
Cited 1

Actors: a model of concurrent computation in distributed systems

Actors: a model of concurrent computation in distributed systems
Object identity

OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Elements of interaction: Turing award lecture

Communications of the ACM
Objects in the &pgr;-calculus

Information and Computation
An imperative object calculus

Theory and Practice of Object Systems - Special issue: type systems
On bisimulations of the asynchronous &pgr;-calculus

Theoretical Computer Science
Concurrency and knowledge-level communication in agent languages

Artificial Intelligence
Distributed Algorithms

Distributed Algorithms
Communication and Concurrency

Communication and Concurrency
The Java Tutorial: Object-Oriented Programming for the Internet

The Java Tutorial: Object-Oriented Programming for the Internet
An Object Calculus for Asynchronous Communication

ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
Typed Concurrent Objects

ECOOP '94 Proceedings of the 8th European Conference on Object-Oriented Programming
Process Algebraic Specification of the New Asynchronous CORBA Messaging Service

ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Towards a Theory of Actor Computation

CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
An Algebra of Actors

Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
A foundation for actor computation

Journal of Functional Programming
Comments on C. Hewitt, viewing control structures as patterns of passing messages, Artificial Intelligence 8 (1977) 323-364

Artificial Intelligence
CORBA: integrating diverse applications within distributed heterogeneous environments

IEEE Communications Magazine

Modeling and Verification of Reactive Systems using Rebeca

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we introduce an actor language following a "process algebra" notation. The idea is to define a formalism based on a standard process algebraic approach which provides basic object-oriented features, such as object identity, asynchronous message passing, implicit message acceptance and dynamic object creation. This approach allows us to reuse standard results of the theory of concurrency in a context where an high level object oriented specification style is preserved. To illustrate the expressive power of our formalism, we provide a specification of the Hurried Philosophers case study.