Go backward to Further Propositions
Go up to Top

References

 
[1]
Leslie Lamport The Temporal Logic of Actions, ACM Transactions on Programming Languages and Systems, Volume 16, Number 3, May 1994, pp. 872-923.

 

[2]
Martin, Abadi and Leslie Lamport Conjoining Specifications, ACM Transactions on Programming Languages and Systems, Volume 17, Number 3, May 1995, pp. 507-534.

Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: spec1.tex,v 1.1 1996/05/13 09:04:04 schreine Exp schreine

Prev Up