6533b826fe1ef96bd1284828

RESEARCH PRODUCT

Distributed ASM - Pitfalls and solutions

Andreas PrinzEdel Sherratt

subject

Variable (computer science)Theoretical computer scienceProcess (engineering)Sequential consistencyComputer scienceComputationAbstract state machinesSequential computationVDP::Technology: 500::Information and communication technology: 550State (computer science)Context switch

description

Published version of a chapter in the book: Abstract State Machines, Alloy, B, TLA, VDM, and Z. Also available from the publisher at: http://dx.doi.org/10.1007/978-3-662-43652-3_18 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.

yearjournalcountryeditionlanguage
2014-01-01
http://hdl.handle.net/11250/281045