| 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: |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/transform.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT