A Look Around the Corner: The Pi-Calculus (2009)

by F Puhlmann, M Weske
Venue:Transactions on Petri Nets and Other Models of Concurrency II, volume 5460 of Lecture Notes in Computer Science