Term graph rewriting for the π-calculus

被引：0
|
作者：
Gadducci, F [1 ]
机构：
[1] Univ Pisa, Dipartimento Informat, I-56127 Pisa, Italy
来源：
PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS | 2003年 / 2895卷
关键词：
term graph rewriting; process calculi; reduction semantics;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We propose a graphical implementation for (possibly) recursive processes of the pi-calculus, encoding each process into a term graph. Our implementation is sound and complete with respect to the standard structural congruence for the calculus: Two processes are equivalent if and only if they are mapped into isomorphic term graphs. Most importantly, the encoding allows for using standard graph rewriting mechanisms in modelling the reduction semantics of the calculus.
引用
收藏
页码：37 / 54
页数：18
相关论文
共 50 条
  • [1] Graph rewriting for the π-calculus
    Gadducci, Fabio
    [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2007, 17 (03) : 407 - 437
  • [2] Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus
    Grathwohl, Niels Bjorn Bugge
    Ketema, Jeroen
    Pallesen, Jens Duelund
    Simonsen, Jakob Grue
    [J]. 22ND INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'11), 2011, 10 : 61 - 70
  • [3] The graph rewriting calculus: Confluence and expressiveness
    Bertolissi, C
    [J]. THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2005, 3701 : 113 - 127
  • [4] Term Graph Rewriting and Parallel Term Rewriting
    Corradini, Andrea
    Drewes, Frank
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (48): : 3 - 18
  • [5] Term Rewriting and Lambda Calculus
    Klop, Jan Willem
    [J]. 2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 12 - 12
  • [6] TERM GRAPH REWRITING
    BARENDREGT, HP
    VANEEKELEN, MCJD
    GLAUERT, JRW
    KENNAWAY, JR
    PLASMEIJER, MJ
    SLEEP, MR
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 259 : 141 - 158
  • [7] Term graph rewriting
    Klop, JW
    [J]. HIGHER-ORDER ALGEBRA, LOGIC, AND TERM REWRITING, 1996, 1074 : 1 - 16
  • [8] Towards a Sharing Strategy for the Graph Rewriting Calculus
    Baldan, P.
    Bertolissi, C.
    Cirstea, H.
    Kirchner, C.
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 204 : 111 - 127
  • [9] A calculus of concurrent graph-rewriting processes
    Kulcsar, Geza
    Corradini, Andrea
    Lochau, Malte
    [J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2020, 110
  • [10] Termination of Graph and Term Graph Rewriting
    Koenig, Barbara
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (225): : 2 - 2
12345