The polyadic π-calculus: a tutorial (1991)

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