PROVING PARTIAL ORDER PROPERTIES

Authors
PELED D PNUELI A
Citation
D. Peled et A. Pnueli, PROVING PARTIAL ORDER PROPERTIES, Theoretical computer science, 126(2), 1994, pp. 143-182
Citations number
48
Categorie Soggetti
Computer Sciences","Computer Science Theory & Methods
Journal title
Theoretical computer science → ACNP
ISSN journal
03043975
Volume
126
Issue
2
Year of publication
1994
Pages
143 - 182
Database
ISI
SICI code
0304-3975(1994)126:2<143:PPOP>2.0.ZU;2-V
Abstract
A temporal verification method which is based upon partial order seman tics of traces (Mazurkiewicz, 1987) is presented. The semantic model u sed here can express the distributed aspects of a program, e.g. proper ties such as serializability of database transactions, layering of a p rogram, snapshots or the parallel execution of program segments. The p roof rules are shown to be sound and relatively complete.