We study an urgent semantics of asynchronous timed session types, where input actions happen as soon as possible, inspired to common programming primitives. We introduce a notion of asynchronous compliance for timed session types, ensuring deadlock freedom and eventual reception. As in the untimed case, asynchronous compliance is undecidable. We then show that synchronous compliance, shown decidable in previous work, is a sound approximation of asynchronous compliance.

中文翻译：

---

输入异步定时会话类型的紧急语义

我们研究了异步定时会话类型的紧急语义，在这种语义下，输入动作会尽快发生，从而激发常见的编程原语。我们引入了针对定时会话类型的异步合规性概念，以确保死锁自由和最终接收。与非定时情况一样，异步遵从性是不确定的。然后，我们证明在先前的工作中可以确定的同步遵从性是异步遵从性的良好近似。