Vasconcelos, V. T., & Yoshida, N. (2009). Language Primitives and Type Discipline for Structured Communication-Based Programming, Subject Reduction and Type Safety Theorems.
Chicago Style (17th ed.) CitationVasconcelos, Vasco T., and Nobuko Yoshida. Language Primitives and Type Discipline for Structured Communication-Based Programming, Subject Reduction and Type Safety Theorems. 2009.
MLA (8th ed.) CitationVasconcelos, Vasco T., and Nobuko Yoshida. Language Primitives and Type Discipline for Structured Communication-Based Programming, Subject Reduction and Type Safety Theorems. 2009.
Warning: These citations may not always be 100% accurate.