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 条
  • [31] Formalization of Automated Trading Systems in a Concurrent Linear Framework
    Cervesato, Iliano
    Khan, Sharjeel
    Reis, Giselle
    Zunic, Dragisa
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (292): : 1 - 14
  • [32] Reversibility and Models for Concurrency
    Phillips, Iain
    Ulidowski, Irek
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 192 (01) : 93 - 108
  • [33] Time reversibility for modular K-systems
    Narnhofer, H
    REPORTS ON MATHEMATICAL PHYSICS, 2000, 45 (01) : 107 - 120
  • [34] EXPERIENCE WITH MODULAR CONCURRENT PROGRAMMING
    HANSEN, B
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1977, 3 (02) : 156 - 159
  • [35] THE FORMALIZATION OF SCIENTIFIC LANGUAGES .1. THE WORK OF WOODGER AND HULL
    DUNHAM, B
    IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1957, 1 (04) : 341 - 348
  • [36] The law of languages in Paraguay: a decisive step in the formalization in fact of Guarani?
    Penner, Hedy
    SIGNO Y SENA-REVISTA DEL INSTITUTO DE LINGUISTICA, 2016, 30 : 109 - 137
  • [37] Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models
    Bosnacki, Dragan
    van den Brand, Mark
    Gabriels, Joost
    Jacobs, Bart
    Kuiper, Ruurd
    Roede, Sybren
    Wijs, Anton
    Zhang, Dan
    FORMAL ASPECTS OF COMPONENT SOFTWARE, 2016, 9539 : 141 - 160
  • [38] Support for implementation of evolutionary concurrent systems in concurrent programming languages
    Pandey, Raju
    Browne, J.C.
    Lecture Notes in Computer Science, 1123
  • [39] Lightweight formalization and validation of ORM models
    Jahangard-Rafsanjani, Amir
    Mirian-Hosseinabadi, Seyed-Hassan
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2015, 84 (04) : 534 - 549
  • [40] Towards a formalization of ecosystems and ecological models
    Villacampa, Y
    Uso, JL
    Lloret, M
    ECOSYSTEMS AND SUSTAINABLE DEVELOPMENT, 1998, 1 : 591 - 601
12345