FAIR ASYNCHRONOUS SESSION SUBTYPING. - BRAVETTI, MARIO; JULIEN LANGE; ZAVATTARO, GIANLUIGI (Logical Methods in Computer Science (LMCS), 2024)