×

zbMATH — the first resource for mathematics

An actor rewriting theory. (English) Zbl 0912.68086
Meseguer, J. (ed.), Rewriting logic and its applications. Proceedings of the 1st international workshop, Pacific Grove, CA, USA, September 3–6, 1996. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 4, 24 p. (1996).
Summary: 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.
For the entire collection see [Zbl 0903.00068].

MSC:
68Q42 Grammars and rewriting systems
Keywords:
rewriting logic
PDF BibTeX XML Cite
Full Text: Link