[Home] [CV] [Publications]

Publications

Minus 1a5aa4f1c08b567c9107cba729de26bc87c17ab2b2f690eb45059193a1d6f587 An Actor Rewriting Theory
Talcott, C. L. - 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.

Keywords: actors, components, semantics, composition, rewriting logic