Concurrent abstract state machines

Autoren Egon Börger
Klaus-Dieter Schewe
Editoren
TitelConcurrent abstract state machines
TypArtikel
JournalActa Informatica
VerlagSpringer
Nummer5
Band53
Noteonline first, October 2015
DOI10.1007/s00236-015-0249-7
MonatAugust
Jahr2016
Seiten469-492
SCCH ID#1536
Abstract

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.