Szczegóły publikacji
Opis bibliograficzny
Independence and causality in the reversible concurrent setting / Clément Aubert, Iain Phillips, Irek ULIDOWSKI // W: Reversible Computation : 17th international conference, RC 2025 : Odense, Denmark, July 3–4, 2025 : proceedings / eds. Robert Glück, Robin Kaarsgaard. — Cham : Springer, cop. 2025. — ( Lecture Notes in Computer Science ; ISSN 0302-9743 ; vol. 15716 ). — ISBN: 978-3-031-97062-7; e-ISBN: 978-3-031-97063-4. — S. 9–26. — Bibliogr., Abstr. — Publikacja dostępna online od: 2025-06-22. — I. Ulidowski - dod. afiliacja: University of Leicester, Leicester, UK
Autorzy (3)
- Aubert Clément
- Phillips Iain
- AGHUlidowski Ireneusz
Słowa kluczowe
Dane bibliometryczne
| ID BaDAP | 164793 |
|---|---|
| Data dodania do BaDAP | 2025-12-16 |
| DOI | 10.1007/978-3-031-97063-4_2 |
| Rok publikacji | 2025 |
| Typ publikacji | materiały konferencyjne (aut.) |
| Otwarty dostęp |  |
| Wydawca | Springer |
| Czasopismo/seria | Lecture Notes in Computer Science |
Abstract
Among the formalisms that can be used to reason about concurrent systems, process calculi stand out both for their simple syntax and close connection to reversibility. They also offer approaches to study relations such as dependence, concurrency or causality between transitions, useful in exploring e.g., causes of bugs or how to multi-thread executions. This paper offers two main contributions: first, we provide separate definitions of a dependence relation and an independence relation, and prove their complementarity on connected transitions instead of postulating it, as is usually done. We also prove that those relations, as well as the notions of event, concurrency, causality and conflict, are unique for any reversible system respecting basic sanity axioms. Second, we prove that the operational definitions of core independence and causality coincide with their characterisations using a pre-existing syntactic mechanism in reversible process calculi, namely communication keys. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.
