Typed event Structures and the π-calculus (2006)

Cached

Download Links

by Daniele Varacca , Nobuko Yoshida
Venue:In Proc. MFPS’06
Citations:5 - 3 self