首页    期刊浏览 2024年11月30日 星期六
登录注册

文章基本信息

  • 标题:Session Types = Intersection Types + Union Types
  • 本地全文:下载
  • 作者:Luca Padovani
  • 期刊名称:Electronic Proceedings in Theoretical Computer Science
  • 电子版ISSN:2075-2180
  • 出版年度:2010
  • 卷号:45
  • 页码:71-89
  • DOI:10.4204/EPTCS.45.6
  • 出版社:Open Publishing Association
  • 摘要:We propose a semantically grounded theory of session types which relies on intersection and union types. We argue that intersection and union types are natural candidates for modeling branching points in session types and we show that the resulting theory overcomes some important defects of related behavioral theories. In particular, intersections and unions provide a native solution to the problem of computing joins and meets of session types. Also, the subtyping relation turns out to be a pre-congruence, while this is not always the case in related behavioral theories.
国家哲学社会科学文献中心版权所有