An Actor Rewriting Theory
Open Access
- 31 December 1996
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 4, 361-384
- https://doi.org/10.1016/s1571-0661(04)00047-7
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Rewriting as a unified model of concurrencyPublished by Springer Nature ,2005
- Axiomatizing net computations and processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Interaction Semantics for Components of Distributed SystemsPublished by Springer Nature ,1997
- A foundation for actor computationJournal of Functional Programming, 1997
- Rewriting logic as a semantic framework for concurrency: a progress reportPublished by Springer Nature ,1996
- Conditional rewriting logic as a unified model of concurrencyTheoretical Computer Science, 1992
- Concurrent object-oriented programmingCommunications of the ACM, 1990
- An algebraic theory of fair asynchronous communicating processesTheoretical Computer Science, 1987
- A fair calculus of communicating systemsActa Informatica, 1984
- Viewing control structures as patterns of passing messagesArtificial Intelligence, 1977