A simplified parallel ASM thesis

K. Schewe, Q. Wang. A simplified parallel ASM thesis. volume 7316, pages 341-344, 6, 2012.

Autoren
  • Klaus-Dieter Schewe
  • Qing Wang
Editoren
  • J. Derrick et al.
BuchAbstract State Machines, Alloy, B, VDM, and Z - Proc. ABZ 2012
TypIn Konferenzband
VerlagSpringer
SerieLecture Notes in Computer Science
Band7316
ISBN978-3-642-30884-0
Monat6
Jahr2012
Seiten341-344
Abstract 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.