A Calculus of Global Interaction Based on Session Types (2006)

Cached

Download Links

by Marco Carbone , Kohei Honda , Nobuko Yoshida
Venue:Electronic Notes in Theoretical Computer Science
Citations:17 - 4 self