Abstract State Machines 1988-1998: Commented ASM Bibliography

Abstract

An annotated bibliography of papers which deal with or use Abstract State Machines (ASMs), as of January 1998.

Also maintained as a BibTeX file at http://www.eecs.umich.edu/gasm/

References in corpus (4)

• Evolving Algebras 1993: Lipari Guide
• Evolving Algebras and Partial Evaluation
• Broy-Lamport Specification Problem: A Gurevich Abstract State Machine Solution
• Choiceless polynomial time