Go backward to Slides and Online Material
Go up to Top
References
- [1]
-
K. Main Chandy and Jayadev Misra. Parallel Program Design -- A
Foundation, Addison-Wesley, Reading, MA, 1988.
- [2]
-
Leslie Lamport. The Temporal Logic of Actions, ACM Transactions on
Programming Languages and Systems, 16(3):872-923, May 1994.
- [3]
-
Martin Abadi and Leslie Lamport. Conjoining Specifications, ACM
Transactions on Programming Languages and Systems, 17(3):507-534, May 1995.
Appendix
- [4]
-
Robin Milner. A Calculus of Communicating Systems, volume 92 of Lecture
Notes in Computer Science, Springer, Berlin, 1980.
- [5]
-
Robin Milner. Communication and Concurrency, Prencice Hall, Englewood
Cliffs, NJ, 1989.
- [6]
-
Robin Milner. The Polyadic pi-Calculus: a Tutorial, in F. L. Hamer,
W. Hrauer and H. Schwichtenberg (eds.), Logic and Algebra of Specifications,
Springer, Berlin, 1993.
Paper
- [7]
-
Robin Milner. Elements of Interaction, Communications of the
ACM, 36(1):78-89, January 1993. Turing Award Lecture.
- [8]
-
David A. Schmidt. Denotational Semantics -- A Methodology for Language
Development, Allyn and Bacon, Boston, MA, 1986.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: parsem.tex,v 1.10 1996/06/05 15:13:54 schreine Exp