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 条
  • [31] Polyadic Pi-calculus based description and verification for web service
    Hu, Jing
    Rao, Guozheng
    Feng, Zhiyong
    Tianjin Daxue Xuebao (Ziran Kexue yu Gongcheng Jishu Ban)/Journal of Tianjin University Science and Technology, 2013, 46 (06): : 520 - 525
  • [32] TYPES OF ABSTRACTION THEORIES
    DEJKOV, A
    FILOSOFICKY CASOPIS, 1979, 27 (01): : 36 - 46
  • [33] DATA TYPES AND ABSTRACTION
    Daniel, Hunyadi Loan
    Emil, Popa M.
    Mircea, Musan
    PROCEEDINGS OF THE 12TH WSEAS INTERNATIONAL CONFERENCE ON COMPUTERS , PTS 1-3: NEW ASPECTS OF COMPUTERS, 2008, : 229 - +
  • [34] Lambda Calculus With Types
    Rezus, Adrian
    STUDIA LOGICA, 2015, 103 (06) : 1319 - 1326
  • [35] Types for the ambient calculus
    Cardelli, L
    Ghelli, G
    Gordon, AD
    INFORMATION AND COMPUTATION, 2002, 177 (02) : 160 - 194
  • [36] Infinite λ-calculus and types
    Berarducci, A
    Dezani-Ciancaglini, M
    THEORETICAL COMPUTER SCIENCE, 1999, 212 (1-2) : 29 - 75
  • [37] INTERSECTION TYPES FOR THE λμ-CALCULUS
    van Bakel, Steffen
    Barbanera, Franco
    de'Liguoro, Ugo
    LOGICAL METHODS IN COMPUTER SCIENCE, 2018, 14 (01)
  • [38] Abstraction of Situation Calculus Concurrent Game Structures
    Lesperance, Yves
    De Giacomo, Giuseppe
    Rostamigiv, Maryam
    Khan, Shakil M.
    THIRTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 38 NO 9, 2024, : 10624 - 10634
  • [39] Abstraction of Nondeterministic Situation Calculus Action Theories
    Banihashemi, Bita
    De Giacomo, Giuseppe
    Lesperance, Yves
    PROCEEDINGS OF THE THIRTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2023, 2023, : 3112 - 3122
  • [40] Calculus versus topology: comprehension versus abstraction
    Burgin, M
    Kalina, M
    FUZZY SETS AND SYSTEMS, 2005, 149 (03) : 413 - 414
12345