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:27 - 7 self