Towards a Toolkit for Actor System Specification

Authors:
Carolyn L. Talcott
Affiliations:
-
Venue:
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Year:
2000

Actors: a model of concurrent computation in distributed systems

Actors: a model of concurrent computation in distributed systems
Specifying distributed information systems: fundamentals of an object-oriented approach using distributed temporal logic

FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
Maude: specification and programming in rewriting logic

Theoretical Computer Science - Rewriting logic and its applications
Actor theories in rewriting logic

Theoretical Computer Science - Rewriting logic and its applications
An Algebra of Actors

Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
Structured theories and institutions

Theoretical Computer Science

Hi-index	0.00