[an error occurred while processing this directive]
[an error occurred while processing this directive]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: |