Final semantics for the pi-calculus (1998)

by F Honsell, M Lenisa, U Montanari, M Pistore
Venue:In Proc. PROCOMET'98. Chapman