Skip to content


Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: monadic
Fetching contributors…

Cannot retrieve contributors at this time

16 lines (15 sloc) 0.687 kb
@Comment \begin{thebibliography}{99}
@Comment \addcontentsline{toc}{chapter}{Bibliography}
@Comment \bibitem{lamport} L. Lamport. {\bf \LaTeX \ A Document Preparation System}
@Comment Addison-Wesley, California 1986.
@Comment \end{thebibliography}
Author = {Robin Milner},
Date-Added = {2007-05-14 14:24:05 -0500},
Date-Modified = {2007-05-14 14:24:05 -0500},
Editor = {F.L. Hamer, W. Brauer, H. Schwichtenberg},
Journal = {Logic and Algebra of Specification},
Title = {The polyadic $\pi$-calculus: A tutorial},
Url = {},
Volume = {Springer-Verlag},
Year = {1993}}
Jump to Line
Something went wrong with that request. Please try again.