Type Systems for Distributed Programs: Components and Sessions

Ornela Dardha. Type Systems for Distributed Programs: Components and Sessions. PhD thesis, University of Bologna, Italy, 2014. [doi]

Abstract

Abstract is missing.