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

Prev Up