3 search results - page 1 / 1 » Abstract State Machines 1988-1998: Commented ASM Bibliograph... |
CORR
1998
Springer
13 years 4 months ago
1998
Springer
JUCS
2002
13 years 4 months ago
2002
: The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the pe...
FOIKS
2004
Springer
13 years 10 months ago
2004
Springer
State Machines: An Overview of the Project Yuri Gurevich Microsoft Research, One Microsoft Way, Redmond, WA 98052 November 2003 This is an extended abstract of an invited talk at ...