Bravetti, M., Carbone, M., Lange, J., Yoshida, N., & Zavattaro, G. (2021). A Sound Algorithm for Asynchronous Session Subtyping and its Implementation. Logical methods in computer science, 17, Issue 1, . https://doi.org/10.23638/LMCS-17(1:20)2021
Citace podle Chicago (17th ed.)Bravetti, Mario, Marco Carbone, Julien Lange, Nobuko Yoshida, a Gianluigi Zavattaro. "A Sound Algorithm for Asynchronous Session Subtyping and Its Implementation." Logical Methods in Computer Science 17, Issue 1 (2021). https://doi.org/10.23638/LMCS-17(1:20)2021.
Citace podle MLA (9th ed.)Bravetti, Mario, et al. "A Sound Algorithm for Asynchronous Session Subtyping and Its Implementation." Logical Methods in Computer Science, vol. 17, Issue 1, 2021, https://doi.org/10.23638/LMCS-17(1:20)2021.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..