Asynchronous Timed Session Types and Processes
Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, and Nobuko Yoshida
The technical report with proofs is available
here