Typed event structures and the π-calculus (2006)

by D Varacca, N Yoshida
Venue:In Proc. of MFPS XXII, volume 158 of ENTCS