A simplified parallel ASM thesis

Autoren Klaus-Dieter Schewe
Qing Wang
Editoren J. Derrick et al.
Titel A simplified parallel ASM thesis
Buchtitel Abstract State Machines, Alloy, B, VDM, and Z - Proc. ABZ 2012
Typ in Konferenzband
Verlag Springer
Serie Lecture Notes in Computer Science
Band 7316
ISBN 978-3-642-30884-0
Monat June
Jahr 2012
Seiten 341-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.