Vasconcelos, V. T., Gay, S. J., & Ravara, A. (2006). Type checking a multithreaded functional language with session types. Theoretical computer science, 368(1), 64-87. https://doi.org/10.1016/j.tcs.2006.06.028
Chicago-Zitierstil (17. Ausg.)Vasconcelos, Vasco T., Simon J. Gay, und António Ravara. "Type Checking a Multithreaded Functional Language with Session Types." Theoretical Computer Science 368, no. 1 (2006): 64-87. https://doi.org/10.1016/j.tcs.2006.06.028.
MLA-Zitierstil (9. Ausg.)Vasconcelos, Vasco T., et al. "Type Checking a Multithreaded Functional Language with Session Types." Theoretical Computer Science, vol. 368, no. 1, 2006, pp. 64-87, https://doi.org/10.1016/j.tcs.2006.06.028.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.