 
Summary: [12] D. Peled. Combining partial order reductions with onthefly model checking. Sixth Conference on Computer
Aided Verification, LNCS 818, 377390, 1994.
[13] A. Pnueli. The temporal logic of programs. 18th Symposium on Foundations of Computer Science, 4677,
1977.
[14] W. Penczek and R. Kuiper. Traces and logic. In V. Diekert, G. Rozenberg (eds.) The Book of Traces, World
Scientific, 307390, 1995.
[15] W. Penczek. On undecidability of propositional temporal logics on trace systems. Information Processing
Letters 43, 147153, 1992.
[16] D. Peled and A. Pnueli. Proving partial order properties. Theoretical Computer Science 126, 143182, 1994.
[17] S. Pinter and P. Wolper. A temporal logic for reasoning about partially ordered computations. Third Symposium
on Principles of Distributed Computing, 2837, 1984.
[18] V.R. Pratt. Modeling concurrency with partial orders. Intl. J. of Parallel Programming 15 (1), 3371, 1986.
[19] P.S. Thiagarajan. A trace based extension of linear time temporal logic. Ninth Symposiumon Logic in Computer
Science, 1994.
[20] P.S. Thiagarajan and I. Walukiewicz. An expressively complete linear time temporal logic for Mazurkiewicz
traces. 12th Symposium on Logic in Computer Science, 1997.
[21] A. Valmari. A Stubborn attack on state explosion. Proc. 2nd Conference on ComputerAided Verification,
LNCS 531, 156165, 1990.
[22] M.Y. Vardi and P. Wolper. An automatatheoretic approach to automatic program verification. First Symposium
on Logic in Computer Science, 332344, 1986.
