Parameterized Concurren Multi-Party Session Types

Tags:
UIUC
License: Creative Commons 2.5
Submitted by Amy Clay on