Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Transformations


Citation: Stephan Diehl, "Transformations of Evolving Algebras", in Proceedings of LIRA'97 (VIII International Conference on Logic and Computer Science), Novi Sad, Yugoslavia, September 1997.
Summary: A discussion of semantics-preserving transformations (including a pass separation transformation) which may be performed on ASMs.
Subjects: ASM Explorations
Download: PostScript, PDF, Compressed PostScript
Notes: