2006-01-30Buch DOI: 10.18452/2458
Distributed Abstract State Machines and Their Expressive Power
Gurevich’s sequential Abstract State Machines (ASMs) are taken as a basis for the construction of distributed ASMs as sets of sequential ASMs. A theorem on the expressive power of distributed ASM is proven in analogy to Gurevich’s classical theorem on the expressive power of sequential ASM.
Dateien zu dieser Publikation
Is Part Of Series: Informatik-Berichte - 196, ISSN:0863-095X