Timed Session Types
Timed Session Types
复制标题
定时会话类型
DOI：
--
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Maurizio Murgia
中科院分区：
文献类型：
--
作者：
Massimo Bartoletti;Tiziana Cimoli;Maurizio Murgia
定时会话类型形式化了两个之间的定时通信协议
会话端点的参与者。它们具有可判定的合规性
关系，概括为基于进度的合规性的定时设置
不定时会话类型之间。我们展示了健全和完整的技术来做出决定
当定时会话类型承认合规会话类型时。然后，我们展示如何
根据给定的会话类型构建最精确的会话类型
到由顺从性引起的子类型预序。子类型的可判定性
从这些结果可以看出。
Timed session types formalise timed communication protocols between two
participants at the endpoints of a session. They feature a decidable compliance
relation, which generalises to the timed setting the progress-based compliance
between untimed session types. We show a sound and complete technique to decide
when a timed session type admits a compliant one. Then, we show how to
construct the most precise session type compliant with a given one, according
to the subtyping preorder induced by compliance. Decidability of subtyping
follows from these results.
打字诚实
影响因子：
0.6
作者：
Bartoletti M
通讯作者：
Bartoletti M