当前位置: X-MOL 学术J. Log. Algebr. Methods Program. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Input urgent semantics for asynchronous timed session types
Journal of Logical and Algebraic Methods in Programming ( IF 0.7 ) Pub Date : 2019-06-04 , DOI: 10.1016/j.jlamp.2019.04.001
Maurizio Murgia

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.



中文翻译:

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

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

更新日期:2019-06-04
down
wechat
bug