Precise subtyping for asynchronous multiparty sessions

Silvia Ghilezan, Jovanka Pantović, Ivan Prokić, Alceste Scalas, Nobuko Yoshida

College of Engineering and Physical Sciences

Research output: Contribution to journal › Article › peer-review

Engineering & Materials Science