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 条
  • [41] A logical formalization of semistructured data models
    Badia, A
    FOUNDATIONS OF INTELLIGENT SYSTEMS, PROCEEDINGS, 2002, 2366 : 472 - 481
  • [42] A reference net based formalization of concurrent cognitive decision making
    Duscher, Johann
    El Malki, Amine
    31ST IEEE SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS, 2007, : 121 - 130
  • [43] 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
  • [44] Dynamic Slicing for Concurrent Constraint Languages
    Falaschi, Moreno
    Gabbrielli, Maurizio
    Olarte, Carlos
    Palamidessi, Catuscia
    FUNDAMENTA INFORMATICAE, 2020, 177 (3-4) : 331 - 357
  • [45] Network languages for concurrent multiagent systems
    Stilman, B
    COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1997, 34 (01) : 103 - 136
  • [46] ABOUT CONVERSATIONS FOR CONCURRENT OO LANGUAGES
    ROMANOVSKY, A
    SIGPLAN NOTICES, 1994, 29 (09): : 17 - 21
  • [47] INTERACTIVE BLACKBOX DEBUGGING FOR CONCURRENT LANGUAGES
    GOLDSZMIDT, GS
    KATZ, S
    YEMINI, S
    SIGPLAN NOTICES, 1989, 24 (01): : 271 - 282
  • [48] Dynamic slicing of concurrent specification languages
    Llorens, M.
    Oliver, J.
    Silva, J.
    Tamarit, S.
    PARALLEL COMPUTING, 2016, 53 : 1 - 22
  • [49] Adaptability in concurrent object oriented languages
    Department of Computer Science, University of Extremadura, Avda. Universidad s/n, 10071, Cáceres, Spain
    Comput. Comput. Eng. Control, (341-346):
  • [50] Concurrent Execution System for Action Languages
    Jaaskelainen, Antti
    Jarvinen, Hannu-Matti
    Tiusanen, Mikko
    MEMOCODE 2017: PROCEEDINGS OF THE 15TH ACM-IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN, 2017, : 157 - 160
12345