Linear type theory for asynchronous session types (2010)

by S J GAY, V T VASCONCELOS
Venue:Journal of Functional Programming