Klaus-Dieter Schewe, Qing Wang,
"A Simplified Parallel ASM Thesis"
: Abstract State Machines, Alloy, B, VDM, and Z (ABZ 2012), Serie Lecture Notes in Computer Science (LNCS), Vol. 7316, Springer Berlin Heidelberg, Seite(n) 341-344, 2012
Original Titel:
A Simplified Parallel ASM Thesis
Sprache des Titels:
Englisch
Original Buchtitel:
Abstract State Machines, Alloy, B, VDM, and Z (ABZ 2012)
Original Kurzfassung:
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.