Distributed ASM - Pitfalls and solutions

Andreas Prinz, Edel Sherratt

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

7 Citations (SciVal)

Abstract

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
Pages210-215
Number of pages6
VolumeLNCS 8477
ISBN (Print)978-3-662-43651-6, 978-3-662-43652-3
DOIs
Publication statusPublished - 2014

Publication series

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

Keywords

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

Fingerprint

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

Cite this