This work may not be copied or reproduced in whole or in part for any commercial purpose. Permission to copy in whole or in part without payment of fee is granted for nonproot educational and research purposes provided that all such whole or partial copies include the following: a notice that such copying is by permission of the Systems Research Center of… (More)
ACM Leslie Lamport. A simple approach to specifying concurrent systems. Communications of the
January
1989
1 Excerpt
Number 7 in CSLI Lecture Notes
Robert Goldblatt. Logics of Time, Computation
CSLI, Stanford, California,
1987
2 Excerpts
32(1):137{161
Matthew Hennessy, Robin Milner. Algebraic laws for nondeterminism, concurrency. Journal of the ACM
January
1985
1 Excerpt
32(3):733{749
A. P. Sistla, E. M. Clarke. The complexity of propositional linear temporal logic. Journal of the ACM
July
1985
1 Excerpt
Englewood Cli s
INMOS. Occam Programming Manual. Prentice-Hall, Inc.
New Jersey,
1984
1 Excerpt
pages 163{173
D. Gabbay, A. Pnueli, S. Shelah, Y. Stavi. On the temporal analysis of fairness. In Seventh Annual ACM Symposium on Principles of Programming Languages