TY - JOUR
T1 - Proving partial order properties
AU - Peled, Doron
AU - Pnueli, Amir
PY - 1994/4/25
Y1 - 1994/4/25
N2 - A temporal verification method which is based upon partial order semantics of traces (Mazurkiewicz, 1987) is presented. The semantic model used here can express the distributed aspects of a program, e.g. properties such as serializability of database transactions, layering of a program, snapshots or the parallel execution of program segments. The proof rules are shown to be sound and relatively complete.
AB - A temporal verification method which is based upon partial order semantics of traces (Mazurkiewicz, 1987) is presented. The semantic model used here can express the distributed aspects of a program, e.g. properties such as serializability of database transactions, layering of a program, snapshots or the parallel execution of program segments. The proof rules are shown to be sound and relatively complete.
UR - http://www.scopus.com/inward/record.url?scp=0028413137&partnerID=8YFLogxK
U2 - 10.1016/0304-3975(94)90009-4
DO - 10.1016/0304-3975(94)90009-4
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:0028413137
SN - 0304-3975
VL - 126
SP - 143
EP - 182
JO - Theoretical Computer Science
JF - Theoretical Computer Science
IS - 2
ER -