Cite
Undecidability of asynchronous session subtyping.
MLA
Bravetti, Mario, et al. “Undecidability of Asynchronous Session Subtyping.” Information & Computation, vol. 256, Oct. 2017, pp. 300–20. EBSCOhost, https://doi.org/10.1016/j.ic.2017.07.010.
APA
Bravetti, M., Zavattaro, G., & Carbone, M. (2017). Undecidability of asynchronous session subtyping. Information & Computation, 256, 300–320. https://doi.org/10.1016/j.ic.2017.07.010
Chicago
Bravetti, Mario, Gianluigi Zavattaro, and Marco Carbone. 2017. “Undecidability of Asynchronous Session Subtyping.” Information & Computation 256 (October): 300–320. doi:10.1016/j.ic.2017.07.010.