A simplified parallel ASM thesis

Autoren Klaus-Dieter Schewe
Qing Wang
Editoren J. Derrick et al.
TitelA simplified parallel ASM thesis
BuchtitelAbstract State Machines, Alloy, B, VDM, and Z - Proc. ABZ 2012
Typin Konferenzband
VerlagSpringer
SerieLecture Notes in Computer Science
Band7316
ISBN978-3-642-30884-0
MonatJune
Jahr2012
Seiten341-344
SCCH ID#1210
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.