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

文章基本信息

  • 标题:Type Reconstruction for the Linear π-Calculus with Composite Regular Types
  • 本地全文:下载
  • 作者:Luca Padovani
  • 期刊名称:Logical Methods in Computer Science
  • 印刷版ISSN:1860-5974
  • 电子版ISSN:1860-5974
  • 出版年度:2015
  • 卷号:11
  • 期号:4
  • 页码:1
  • DOI:10.2168/LMCS-11(4:13)2015
  • 出版社:Technical University of Braunschweig
  • 摘要:We extend the linear {\pi}-calculus with composite regular types in such a way that data containing linear values can be shared among several processes, if there is no overlapping access to such values. We describe a type reconstruction algorithm for the extended type system and discuss some practical aspects of its implementation.
  • 其他关键词:linear pi-calculus, composite regular types, shared access to data structures with
国家哲学社会科学文献中心版权所有