首页    期刊浏览 2024年12月06日 星期五
登录注册

文章基本信息

  • 标题:On Global Types and Multi-Party Session
  • 本地全文:下载
  • 作者:Giuseppe Castagna ; Mariangiola Dezani-Ciancaglini ; Luca Padovani
  • 期刊名称:Logical Methods in Computer Science
  • 印刷版ISSN:1860-5974
  • 电子版ISSN:1860-5974
  • 出版年度:2012
  • 卷号:8
  • 期号:1
  • 页码:1
  • DOI:10.2168/LMCS-8(1:24)2012
  • 出版社:Technical University of Braunschweig
  • 摘要:Global types are formal specifications that describe communication protocols in terms of their global interactions. We present a new, streamlined language of global types equipped with a trace-based semantics and whose features and restrictions are semantically justified. The multi-party sessions obtained projecting our global types enjoy a liveness property in addition to the traditional progress and are shown to be sound and complete with respect to the set of traces of the originating global type. Our notion of completeness is less demanding than the classical ones, allowing a multi-party session to leave out redundant traces from an underspecified global type. In addition to the technical content, we discuss some limitations of our language of global types and provide an extensive comparison with related specification languages adopted in different communities.
  • 其他关键词:Web services, concurrency theory, type theory, subtyping, global types, session types.
国家哲学社会科学文献中心版权所有