1. Ancona, D., et al.: Behavioral types in programming languages. Found. Trends Program. Lang. 3(2–3), 95–230 (2016)
2. Bacchiani, L., Bravetti, M., Lange, J., Zavattaro, G.: Tool source files for Linux, Windows and OSx (and binaries for Windows and OSx). https://github.com/LBacchiani/session-subtyping-tool
3. Brand, D., Zafiropulo, P.: On communicating finite-state machines. J. ACM 30(2), 323–342 (1983)
4. Bravetti, M.: Axiomatizing maximal progress and discrete time. Log. Methods Comput. Sci. 17(1), 1:1–1:44 (2021)
5. Bravetti, M., Carbone, M., Lange, J., Yoshida, N., Zavattaro, G.: A sound algorithm for asynchronous session subtyping and its implementation. Log. Methods Comput. Sci. 17(1), 20:1–20:35 (2021)