Klaus-Dieter Schewe, E. Börger,
"Concurrent abstract state machines"
, in Christel Baier et al., in Acta Informatica, Springer Berlin Heidelberg, Seite(n) 1--24, 9-2015, ISSN: 1432-0525
Concurrent abstract state machines
Sprache des Titels:
A concurrent Abstract State Machine (ASM) is a family of agents each equipped with a sequential ASM to execute. We define the semantics of concurrent ASMs by concurrent ASM runs which overcome the problems of Gurevich's distributed ASM runs and generalize Lamport's sequentially consistent runs. A postulate characterizing an intuitive understanding of concurrency is formulated. It allows us to state and prove an extension of the sequential ASM thesis to a concurrent ASM thesis.