A Parametric Framework for Reversible Pi-Calculi

Autor: Doriana Medić, Nobuko Yoshida, Iain Phillips, Claudio Antares Mezzina
Přispěvatelé: Engineering & Physical Science Research Council (E, Engineering & Physical Science Research Council (EPSRC), Foundations of Component-based Ubiquitous Systems (FOCUS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Dipartimento di Informatica - Scienza e Ingegneria [Bologna] (DISI), Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO)-Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO), Dipartimento di Scienze Pure e Applicate, Urbino University 'Carlo Bo', Imperial College London, ANR-18-CE25-0007,DCore,Debogage causal pour systèmes concurrents(2018), Università degli Studi di Urbino 'Carlo Bo', Engineering and Physical Sciences Research Council
Rok vydání: 2018
Předmět:
FOS: Computer and information sciences
Technology
spi-Calculus
Computer Science - Logic in Computer Science
Causal semantics
pi-Calculus
Causally-consistent reversibility
Yield (engineering)
Theoretical computer science
Semantics (computer science)
Computer science
Formal Languages and Automata Theory (cs.FL)
Mathematics
Applied

Computer Science - Formal Languages and Automata Theory
0102 computer and information sciences
01 natural sciences
lcsh:QA75.5-76.95
Computation Theory & Mathematics
Theoretical Computer Science
Causality (physics)
[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Computer Science
Theory & Methods

Simple (abstract algebra)
SEMANTICS
Causal semantic
0101 mathematics
Mathematics
Parametric statistics
Science & Technology
lcsh:Mathematics
010102 general mathematics
lcsh:QA1-939
Data structure
Computer Science Applications
Algebra
π-calculus
Computational Theory and Mathematics
010201 computation theory & mathematics
Pi calculus
Physical Sciences
Computer Science
F.4.3
08 Information and Computing Sciences
lcsh:Electronic computers. Computer science
Information Systems
Zdroj: EXPRESS/SOS
Express/SOS 2018
Information and Computation
Information and Computation, Elsevier, 2020, 275, pp.104644. ⟨10.1016/j.ic.2020.104644⟩
Information and Computation, 2020, 275, pp.104644. ⟨10.1016/j.ic.2020.104644⟩
Electronic Proceedings in Theoretical Computer Science, Vol 276, Iss Proc. EXPRESS/SOS 2018, Pp 87-103 (2018)
ISSN: 0890-5401
1090-2651
DOI: 10.48550/arxiv.1808.08655
Popis: This paper presents a study of causality in a reversible, concurrent setting. There exist various notions of causality in pi-calculus, which differ in the treatment of parallel extrusions of the same name. In this paper we present a uniform framework for reversible pi-calculi that is parametric with respect to a data structure that stores information about an extrusion of a name. Different data structures yield different approaches to the parallel extrusion problem. We map three well-known causal semantics into our framework. We show that the (parametric) reversibility induced by our framework is causally- consistent and prove a causal correspondence between an appropriate instance of the framework and Boreale and Sangiorgi's causal semantics.
Comment: Extended version of the EXPRESS2018 paper
Databáze: OpenAIRE