Go backward to The Value-Passing Calculus
Go up to Top


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


Milner, Robin. Communication and Concurrency, Prentice Hall, New York, 1989.

Id: ccs1.tex,v 1.1 1996/06/05 15:04:53 schreine Exp schreine

Prev Up