Concurrent abstract state machines
|Title||Concurrent abstract state machines|
|Mark||online first, October 2015|
A concurrent Abstract State Machine (ASM) is a family of agents each equipped with a sequentialASMto execute.We define the semantics of concurrentASMsby 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.