The polyadic π-calculus: A tutorial. LFCS Report Series ECS-LFCS-91180 (1991)

by Robin Milner
Venue:University of Edinburgh