Type-Based Verification of Message-Passing Parallel Programs - Vasconcelos, Vasco T. (2014)