Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Action Semantics


Citation: Matthias Anlauff, Philipp W. Kutter, Alfonso Pierantonio, and Lothar Thiele, "Generating an Action Notation Environment from Montages Descriptions", Proceedings of the 2nd International Workshop on Action Semantics (AS'99), University of Aarhus, Department of Computer Science BRICS Notes Series NS-99-3, March 1999.
Summary: Montages are used to provide executable semantics for Action Notation, another formal specification methodology.
Subjects: Other Models of Computation, Montages
Download: PostScript, PDF, Compressed PostScript.
Notes: