A simplified parallel ASM thesis

Authors Klaus-Dieter Schewe
Qing Wang
Editors J. Derrick et al.
Title A simplified parallel ASM thesis
Booktitle Abstract State Machines, Alloy, B, VDM, and Z - Proc. ABZ 2012
Type in proceedings
Publisher Springer
Series Lecture Notes in Computer Science
Volume 7316
ISBN 978-3-642-30884-0
Month June
Year 2012
Pages 341-344
SCCH ID# 1210

We present an idea how to simplify Gurevich's parallel ASM thesis. The key idea is to modify only the bounded exploration postulate from the sequential ASM thesis by allowing also non-ground comprehension terms. The idea arises from comparison with work on ASM foundations of database transformations.