- ...SEMANTICS
-
First published in Bulletin of European Assoc. for Theor. Computer
Science, no. 43, Feb. 1991, 264-284. Reprinted in
Current Trends in Theoretical Computer Science, eds. G.
Rozenberg and A. Salomaa, World Scientific, 1993, 266-292.
This version contains slight modifications to reflect the one and only
change in the definition of ealgebras that happened in the meantime,
namely that the basic EA machine is deterministic; the explanation for
the change is found in Subsection 2.7 in [Gu4].