On Urgency in Asynchronous Timed Session Types

10/05/2018
by   Maurizio Murgia, et al.
0

We study an urgent semantics of asynchronous timed session types, where input actions happen as soon as possible. We show that with this semantics we can recover to the timed setting an appealing property of untimed session types: namely, deadlock-freedom is preserved when passing from synchronous to asynchronous communication.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset