73 search results - page 3 / 15 » Composing Web-service-like abstract state machines (ASM) |
TOCL
2008
13 years 6 months ago
2008
State Machines Capture Parallel Algorithms: Correction and Extension ANDREAS BLASS University of Michigan and YURI GUREVICH Microsoft Research We consider parallel algorithms worki...
CORR
1998
Springer
13 years 5 months ago
1998
Springer
FM
1998
Springer
13 years 10 months ago
1998
Springer
DLT
2006
13 years 7 months ago
2006
ract State Machines Be Useful in Language Theory? Yuri Gurevich a Margus Veanes a Charles Wallace b aMicrosoft Research, Redmond, Washington, USA bMichigan Tech, Houghton, Michigan...
ASM
2003
ASM
13 years 11 months ago
2003
ASM
d in Abstract State Machines – Advances in Theory and Applications: 10th International Workshop, ASM 2003, volume 2589 of LNCS, Springer–Verlag. Abstract Encryption and Protoco...