Concurrent abstract state machines

Authors Egon Börger
Klaus-Dieter Schewe
Editors
Title Concurrent abstract state machines
Type article
Journal Acta Informatica
Publisher Springer
Number 5
Volume 53
Mark online first, October 2015
DOI 10.1007/s00236-015-0249-7
Month August
Year 2016
Pages 469-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.