The polyadic π-calculus: a tutorial (1991)

by Robin Milner
Venue:LOGIC AND ALGEBRA OF SPECIFICATION
Citations:177 - 1 self