Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes
Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes
复制标题
异步定时会话类型 - 从对偶性到时间敏感流程
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
N. Yoshida
中科院分区：
文献类型：
--
作者：
L. Bocchi;Maurizio Murgia;V. Vasconcelos;N. Yoshida
我们提出了一个行为类型系统的高阶时演算使用会话类型建模定时协议。行为类型确保演算中的进程在其协议规定的时间窗口内执行操作。我们介绍了对偶和子类型的定时异步会话类型。我们的概念的对偶性允许类型的一个更大的类的过程相对于以前的建议。子类型化对于我们的类型化系统的精确性是至关重要的，特别是在会话委托存在的情况下。当使用紧急接收语义时，双（定时异步）类型的组合会取得进展，在这种语义中，只要预期的消息可用，就执行接收操作。我们的演算增加了现有演算对定时会话的建模能力，增加了一个带有超时的阻塞接收原语和一个在给定范围内消耗任意时间的原语。
We present a behavioural typing system for a higher-order timed calculus using session types to model timed protocols. Behavioural typing ensures that processes in the calculus perform actions in the time-windows prescribed by their protocols. We introduce duality and subtyping for timed asynchronous session types. Our notion of duality allows typing a larger class of processes with respect to previous proposals. Subtyping is critical for the precision of our typing system, especially in the presence of session delegation. The composition of dual (timed asynchronous) types enjoys progress when using an urgent receive semantics, in which receive actions are executed as soon as the expected message is available. Our calculus increases the modelling power of extant calculi on timed sessions, adding a blocking receive primitive with timeout and a primitive that consumes an arbitrary amount of time in a given range.
CTA 的进步保持改进
DOI：
--
发表时间：
2018
期刊：
--
影响因子：
--
作者：
Massimo Bartoletti
通讯作者：
Massimo Bartoletti
关于异步定时会话类型的紧急性
DOI：
10.48550/arxiv.1810.02472
发表时间：
2018
期刊：
arXiv e-prints
影响因子：
--
作者：
Murgia Maurizio
通讯作者：
Murgia Maurizio