Go backward to Slides and Online Material
Go up to Top


K. Main Chandy and Jayadev Misra. Parallel Program Design -- A Foundation, Addison-Wesley, Reading, MA, 1988.


Leslie Lamport. The Temporal Logic of Actions, ACM Transactions on Programming Languages and Systems, 16(3):872-923, May 1994.


Martin Abadi and Leslie Lamport. Conjoining Specifications, ACM Transactions on Programming Languages and Systems, 17(3):507-534, May 1995. Appendix


Robin Milner. A Calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science, Springer, Berlin, 1980.


Robin Milner. Communication and Concurrency, Prencice Hall, Englewood Cliffs, NJ, 1989.


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


Robin Milner. Elements of Interaction, Communications of the ACM, 36(1):78-89, January 1993. Turing Award Lecture.


David A. Schmidt. Denotational Semantics -- A Methodology for Language Development, Allyn and Bacon, Boston, MA, 1986.

Id: parsem.tex,v 1.10 1996/06/05 15:13:54 schreine Exp

Prev Up