Skip to content

A Concurrent Programming Language with Refined Session Types.

Juliana Franco, Vasco Thudichum Vasconcelos

VenueBSEFM
Year2013
ProceedingsSEFM Workshops

Browse the full SEFM paper archive.