Action Calculi and the ��-Calculus (1993)

by R Milner
Venue:In Proceedings of the NATO Summer School on Logic and Computation