1 paper · 1 filter
Maurizio Murgia
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 setti…