Asynchronous Timed Session Types and Processes

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

The technical report with proofs is available here