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