Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Can message buffers be axiomatized in linear temporal logic?
Information and Control
Specifying message passing systems requires extending temporal logic
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
The use of temporal logic in the compositional specification of concurrent systems
Temporal logics and their applications
Handbook of theoretical computer science (vol. B)
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
An algebraic theory of class specification
ACM Transactions on Software Engineering and Methodology (TOSEM)
Using dynamic classes and role classes to model object migration
Theory and Practice of Object Systems - Special issue on the 1994 European Conference of Object Oriented Programming
Categorical semantics of parallel program design
Science of Computer Programming - Special issue: on formal specifications: foundations, methods, tools and applications: selected papers from the FMTA '95 conference (29–31 May 1995, Konstancin n. Warsaw, Poland)
A proof-theoretic approach to the design of object-based mobility
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
How to cook a temporal proof system for your pet language
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Composable Semantic Models for Actor Theories
TACS '97 Proceedings of the Third International Symposium on Theoretical Aspects of Computer Software
Objects, Object Types, and Object Identification
Workshop on Categorial Methods in Computer Science: With Aspects from Topology
On what exactly is going on when software is developed step-by-step
ICSE '84 Proceedings of the 7th international conference on Software engineering
A foundation for actor computation
Journal of Functional Programming
Actor theories in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
A complete guide to the future
ESOP'07 Proceedings of the 16th European conference on Programming
A relational trace logic for simple hierarchical actor-based component systems
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
| Hi-index | 0.00 |
The pioneering work of Hewitt and Baker on the foundations of concurrency during the seventies has inspired the development of the actor model as a promising object-based framework for understanding open distributed systems. So far, theoretical research on actors has focused on identifying the basic primitives of the model and on characterising the operational behaviour of distributed programming languages in terms of actor components. In this paper, we show that the actor model can also be used as a faithful basis for rigorously designing open distributed systems. We argue that a proof-theoretic approach is better suited to this purpose. An abstract-data-type-like axiomatisation of the actor primitives is proposed to support composing and reasoning from specifications of actor communities within a temporal logical system.