APA (7th ed.) Citation

Silva, M., Florido, M., & Pfenning, F. (2017). Non-Blocking Concurrent Imperative Programming with Session Types. Electronic proceedings in theoretical computer science, 238(Proc. LINEARITY 2016), 64-72. https://doi.org/10.4204/EPTCS.238.7

Chicago Style (17th ed.) Citation

Silva, Miguel, Mário Florido, and Frank Pfenning. "Non-Blocking Concurrent Imperative Programming with Session Types." Electronic Proceedings in Theoretical Computer Science 238, no. Proc. LINEARITY 2016 (2017): 64-72. https://doi.org/10.4204/EPTCS.238.7.

MLA (9th ed.) Citation

Silva, Miguel, et al. "Non-Blocking Concurrent Imperative Programming with Session Types." Electronic Proceedings in Theoretical Computer Science, vol. 238, no. Proc. LINEARITY 2016, 2017, pp. 64-72, https://doi.org/10.4204/EPTCS.238.7.