Sciweavers

1753 search results - page 44 / 351
» State Machines
Sort
View
JOT
2007
64views more  JOT 2007»
14 years 11 months ago
Direct Semantics of Extended State Machines
Kevin Lano, David Clark
LMCS
2007
61views more  LMCS 2007»
14 years 11 months ago
Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem
Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Ben...
CORR
1998
Springer
116views Education» more  CORR 1998»
14 years 11 months ago
Abstract State Machines 1988-1998: Commented ASM Bibliography
Egon Börger, James K. Huggins