Concurrent abstract state machines

Autoren Egon Börger
Klaus-Dieter Schewe
Titel Concurrent abstract state machines
Typ Artikel
Journal Acta Informatica
Verlag Springer
Nummer 5
Band 53
Note online first, October 2015
DOI 10.1007/s00236-015-0249-7
Monat August
Jahr 2016
Seiten 469-492
SCCH ID# 1536

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.