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]

No reviews for this publication, yet.