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]

Authors

Andi Bejleri

This author has not been identified. Look up 'Andi Bejleri' in Google