@inproceedings{d4bb6bf574124e7e8df4db09a373c136,
title = "Distributed ASM - Pitfalls and solutions",
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.",
keywords = "Abstract State Machine, ASM, global state, distributed computation",
author = "Andreas Prinz and Edel Sherratt",
year = "2014",
doi = "10.1007/978-3-662-43652-3_18",
language = "English",
isbn = "978-3-662-43651-6",
volume = "LNCS 8477",
series = "Lecture Notes in Computer Science",
publisher = "Springer Nature",
pages = "210--215",
editor = "Ameur, {Yamine Ait } and Schewe, {Klaus-Dieter }",
booktitle = "Abstract State Machines, Alloy, B, TLA, VDM, and Z",
address = "Switzerland",
}