An Actor Rewriting Theory
Carolyn Talcott · Electronic Notes in Theoretical Computer Science · 1996
We present a semantic framework for actor systems based on rewriting logic. This framework accounts for fairness and provides a variety of semantics for actor system components that have good composability properties.