Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes.

Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida

Browse the full ESOP paper archive.