Distributed ASM - Pitfalls and solutions

Andreas Prinz, Edel Sherratt

Research output: Chapter in Book/Report/Conference proceedingConference Proceeding (Non-Journal item)

7 Citations (SciVal)


While sequential Abstract State Machines (ASM) capture the essence of sequential computation, it is not clear that this is true of distributed ASM. This paper looks at two kinds of distributed process, one based on a global state and one based on variable access. Their commonalities are extracted and conclusions for the general understanding of distributed computation are drawn, providing integration between global state and variable access.
Original languageEnglish
Title of host publicationAbstract State Machines, Alloy, B, TLA, VDM, and Z
Subtitle of host publication4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
EditorsYamine Ait Ameur, Klaus-Dieter Schewe
PublisherSpringer Nature
Number of pages6
VolumeLNCS 8477
ISBN (Print)978-3-662-43651-6, 978-3-662-43652-3
Publication statusPublished - 2014

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


  • Abstract State Machine
  • ASM
  • global state
  • distributed computation


Dive into the research topics of 'Distributed ASM - Pitfalls and solutions'. Together they form a unique fingerprint.

Cite this