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]

Authors

Dimitris Mostrous

This author has not been identified. Look up 'Dimitris Mostrous' in Google