A polymorphic type system with progress for binary sessions

WISM, pp. 451-461, 2012.

被引用3|浏览5
EI WOS SCOPUS

摘要

A static bounded polymorphic type system is presented in this paper, which ensures the progress property, i.e., the property that once a communication has been established, well-formed programs will never starve at communication points. The introduction of subtyping for session types and the relaxed duality relation increases the flexibil...更多

代码

数据

24小时获取PDF
引用
您的评分 :
0

 

标签
评论