Types and full abstraction for polyadic π-calculus

被引：8
|
作者：
Quaglia, P [1 ]
Walker, D
机构：
[1] Univ Trent, Dip Informat & Telecommun, I-38100 Trento, Italy
[2] Univ Oxford, Comp Lab, Oxford OX1 3QD, England
来源：
INFORMATION AND COMPUTATION | 2005年 / 200卷 / 02期
关键词：
D O I：
10.1016/j.ic.2005.03.004
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
A type system for terms of the monadic pi-calculus is introduced and used to obtain a full-abstraction result for the translation of the polyadic pi-calculus into the monadic calculus: well-sorted terms of the polyadic calculus are barbed congruent iff their translations are typed barbed congruent. (c) 2005 Elsevier Inc. All rights reserved.
引用
收藏
页码：215 / 246
页数：32
相关论文
共 50 条
  • [21] Predicate Abstraction in a Program Logic Calculus
    Weiss, Benjamin
    INTEGRATED FORMAL METHODS, PROCEEDINGS, 2009, 5423 : 136 - 150
  • [22] Abstraction in Situation Calculus Action Theories
    Banihashemi, Bita
    De Giacomo, Giuseppe
    Lesperance, Yves
    THIRTY-FIRST AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 1048 - 1055
  • [23] Predicate abstraction in a program logic calculus
    Weiss, Benjamin
    SCIENCE OF COMPUTER PROGRAMMING, 2011, 76 (10) : 861 - 876
  • [24] Definability and Full Abstraction
    Curien, Pierre-Louis
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 172 : 301 - 310
  • [25] Full abstraction for Gamma
    Quiroz, FH
    PROCEEDINGS OF THE FIFTH MEXICAN INTERNATIONAL CONFERENCE IN COMPUTER SCIENCE (ENC 2004), 2004, : 20 - 26
  • [26] Full abstraction for Linda
    Di Giusto, Cinzia
    Gabbrielli, Maurizio
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2008, 4960 : 78 - 92
  • [27] Full abstraction for HOPLA
    Nygaard, M
    Winske, G
    CONCUR 2003 - CONCURRENCY THEORY, 2003, 2761 : 383 - 398
  • [28] Full abstraction by translation
    McCusker, G
    ADVANCES IN THEORY AND FORMAL METHODS OF COMPUTING, 1996, : 252 - 263
  • [29] FULL ABSTRACTION AND RECURSION
    MISLOVE, MW
    OLES, FJ
    THEORETICAL COMPUTER SCIENCE, 1995, 151 (01) : 207 - 256
  • [30] Full abstraction for PCF
    Abramsky, S
    Jagadeesan, R
    Malacaria, P
    INFORMATION AND COMPUTATION, 2000, 163 (02) : 409 - 470
12345