Proving Partial Order Properties

Abstract

Peled, D. and A. Pnueh, Proving partial order properties, Theoretical Computer Science 126 (1994) 143-182. 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… (More)
DOI: 10.1016/0304-3975(94)90009-4

Topics

10 Figures and Tables

Cite this paper

@article{Peled1994ProvingPO, title={Proving Partial Order Properties}, author={Doron A. Peled and Amir Pnueli}, journal={Theor. Comput. Sci.}, year={1994}, volume={126}, pages={143-182} }