Parameterised session types communication patterns : through the looking glass of session types

Andi Bejleri. Parameterised session types communication patterns : through the looking glass of session types. PhD thesis, Imperial College London, UK, 2012. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: