Cite
On the boundary between decidability and undecidability of asynchronous session subtyping.
MLA
Bravetti, Mario, et al. “On the Boundary between Decidability and Undecidability of Asynchronous Session Subtyping.” Theoretical Computer Science, vol. 722, Apr. 2018, pp. 19–51. EBSCOhost, https://doi.org/10.1016/j.tcs.2018.02.010.
APA
Bravetti, M., Carbone, M., & Zavattaro, G. (2018). On the boundary between decidability and undecidability of asynchronous session subtyping. Theoretical Computer Science, 722, 19–51. https://doi.org/10.1016/j.tcs.2018.02.010
Chicago
Bravetti, Mario, Marco Carbone, and Gianluigi Zavattaro. 2018. “On the Boundary between Decidability and Undecidability of Asynchronous Session Subtyping.” Theoretical Computer Science 722 (April): 19–51. doi:10.1016/j.tcs.2018.02.010.