Session types in concurrent calculi : higher-order processes and objects

Dimitris Mostrous. Session types in concurrent calculi : higher-order processes and objects. PhD thesis, Imperial College London, UK, 2010. [doi]

Abstract

Abstract is missing.