Compositional event structure semantics for the internal π-calculus

被引：0
|
作者：
Crafa, Silvia [1 ]
Varacca, Daniele [2 ]
Yoshida, Nobuko [3 ]
机构：
[1] Univ Padua, I-35100 Padua, Italy
[2] Univ Paris 07, CNRS, PPS, Paris, France
[3] Imperial Coll London, London, England
来源：
CONCUR 2007 - CONCURRENCY THEORY, PROCEEDINGS | 2007年 / 4703卷
基金：
英国工程与自然科学研究理事会;
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We propose the first compositional event structure semantics for a very expressive pi-calculus, generalising Winskel's event structures for CCS. The pi-calculus we model is the pi I-calculu,; with recursive definitions and summations. First we model the synchronous calculus, introducing a notion of dynamic renaming to the standard operators on event structures. Then we model the asynchronous calculus, for which a new additional operator, called rooting, is necessary for representing causality due to new name binding. The semantics are shown to be operationally adequate and sound with respect to bisimulation.
引用
收藏
页码：317 / +
页数：3
相关论文
共 50 条
  • [1] A compositional semantics for the reversible π-calculus
    Cristescu, Ioana
    Krivine, Jean
    Varacca, Daniele
    [J]. 2013 28TH ANNUAL IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2013, : 388 - 397
  • [2] The interaction of compositional semantics and event semantics
    Lucas Champollion
    [J]. Linguistics and Philosophy, 2015, 38 : 31 - 66
  • [3] The interaction of compositional semantics and event semantics
    Champollion, Lucas
    [J]. LINGUISTICS AND PHILOSOPHY, 2015, 38 (01) : 31 - 66
  • [4] Event in Compositional Dynamic Semantics
    Qian, Sai
    Amblard, Maxime
    [J]. LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS, LACL 2011, 2011, 6736 : 219 - 234
  • [5] Event Structure Semantics of Parallel Extrusion in the Pi-Calculus
    Crafa, Silvia
    Varacca, Daniele
    Yoshida, Nobuko
    [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, FOSSACS 2012, 2012, 7213 : 225 - 239
  • [6] Representing the process semantics in the event calculus
    Li, CP
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, 2000, 1919 : 118 - 132
  • [7] Compositional Event Semantics in Pregroup Grammars
    Gaudreault, Gabriel
    [J]. LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS: CELEBRATING 20 YEARS OF LACL (1996-2016), 2016, 10054 : 99 - 115
  • [8] Event structure semantics of orc
    Rosario, Sidney
    Kitchin, David
    Benveniste, Albert
    Cook, William
    Haar, Stefan
    Jard, Claude
    [J]. WEB SERVICES AND FORMAL METHODS, PROCEEDINGS, 2008, 4937 : 154 - +
  • [9] Event structures for the reversible early internal π-calculus
    Graversen, Eva
    Phillips, Iain
    Yoshida, Nobuko
    [J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2022, 124
  • [10] Event Structures for the Reversible Early Internal π-Calculus
    Graversen, Eva
    Phillips, Iain
    Yoshida, Nobuko
    [J]. REVERSIBLE COMPUTATION (RC 2020), 2020, 12227 : 71 - 90
12345