Type Systems for Distributed Programs: Components and Sessions

Ornela Dardha. Type Systems for Distributed Programs: Components and Sessions. Volume 7 of Atlantis Studies in Computing, Springer / Atlantis Press, 2016. [doi]

Abstract

Abstract is missing.