Go backward to Summary
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: tla2.tex,v 1.2 96/05/06 10:48:53 schreine Exp Locker: schreine