A Modular Formalization of Reversibility for Concurrent Models and Languages

被引：5
|
作者：
Bernadet, Alexis [1 ]
Lanese, Ivan [2 ]
机构：
[1] Dalhousie Univ, Halifax, NS B3H 3J5, Canada
[2] Univ Bologna, Focus Team, INRIA, I-40126 Bologna, Italy
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2016年 / 223期
关键词：
D O I：
10.4204/EPTCS.223.7
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Causal-consistent reversibility is the reference notion of reversibility for concurrency. We introduce a modular framework for defining causal-consistent reversible extensions of concurrent models and languages. We show how our framework can be used to define reversible extensions of formalisms as different as CCS and concurrent X-machines. The generality of the approach allows for the reuse of theories and techniques in different settings.
引用
收藏
页码：98 / 112
页数：15
相关论文
共 50 条
  • [1] SEMANTIC MODELS FOR CONCURRENT LOGIC LANGUAGES
    DEBOER, FS
    RUTTEN, JJMM
    KOK, JN
    PALAMIDESSI, C
    THEORETICAL COMPUTER SCIENCE, 1991, 86 (01) : 3 - 33
  • [2] FULLY ABSTRACT DENOTATIONAL MODELS FOR NONUNIFORM CONCURRENT LANGUAGES
    HORITA, E
    DEBAKKER, JW
    RUTTEN, JJMM
    INFORMATION AND COMPUTATION, 1994, 115 (01) : 125 - 178
  • [3] Concurrent Flexible Reversibility
    Lanese, Ivan
    Lienhardt, Michael
    Mezzina, Claudio Antares
    Schmitt, Alan
    Stefani, Jean-Bernard
    PROGRAMMING LANGUAGES AND SYSTEMS, 2013, 7792 : 370 - 390
  • [4] Reversibility of modular squaring
    Kunihiro, N
    Takahashi, Y
    Kawano, Y
    Realizing Controllable Quantum States: MESOSCOPIC SUPERCONDUCTIVITY AND SPINTRONICS, 2005, : 327 - 332
  • [5] FORMALIZATION OF NATURAL LANGUAGES - KUMMEL,P
    LOTSCHER, A
    ZEITSCHRIFT FUR DIALEKTOLOGIE UND LINGUISTIK, 1984, (01): : 121 - 122
  • [6] The formalization of languages: NooJ's approach
    Colin, Noemie
    TRAITEMENT AUTOMATIQUE DES LANGUES, 2015, 56 (01): : 117 - 120
  • [7] FORMALIZATION OF NATURAL LANGUAGES - KUMMEL,P
    不详
    PSYCHOLOGICAL MEDICINE, 1980, 10 (02) : 393 - 393
  • [8] FORMALIZATION OF NATURAL LANGUAGES - KUMMEL,P
    不详
    PERCEPTUAL AND MOTOR SKILLS, 1980, 50 (02) : 679 - 679
  • [9] FORMALIZATION OF NATURAL LANGUAGES - KUMMEL,P
    AMMONS, RB
    AMMONS, CH
    PERCEPTUAL AND MOTOR SKILLS, 1980, 51 (03) : 1347 - 1347
  • [10] Use Concurrent Programming Models to Motivate Teaching of Programming Languages
    Leavens, Gary T.
    ACM SIGPLAN NOTICES, 2008, 43 (11) : 93 - 98
12345