APA (7th ed.) Citation

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 Style (17th ed.) Citation

Vasconcelos, Vasco T., Simon J. Gay, and 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 (9th ed.) Citation

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.