Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Fabbretti, Giovanni"'
Distributed systems can be subject to various kinds of partial failures, therefore building fault-tolerance or failure mitigation mechanisms for distributed systems remains an important domain of research. In this paper, we present a calculus to form
Externí odkaz:
http://arxiv.org/abs/2406.12574
Autor:
Lami, Pietro, Lanese, Ivan, Stefani, Jean-Bernard, Sacerdoti Coen, Claudio, Fabbretti, Giovanni
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming April 2024 138
Publikováno v:
RR-9511, Inria. 2023
Distributed systems can be subject to various kinds of partial failures, and building fault-tolerance or failure mitigation mechanisms for distributed systems remains an important domain of research. In this paper, we present a calculus to formally m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::99d2b4ad52a2a61a120b25d0867e33c9
https://hal.science/hal-04123758/document
https://hal.science/hal-04123758/document
Publikováno v:
[Research Report] RR-9468, Inria-Research Centre Grenoble – Rhône-Alpes. 2022, pp.1-22
In recent years, reversibility in concurrent settings has attracted interest thanks to its diverse applications in areas such as error recovery, debugging, and biological modeling. Also, it has been studied in many formalisms, including Petri nets, p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::84176ddc2a811449f4538ef7902798f6
https://inria.hal.science/hal-03630407v3/file/RR-9468.pdf
https://inria.hal.science/hal-03630407v3/file/RR-9468.pdf
Publikováno v:
[Research Report] Inria-Research Centre Grenoble – Rhône-Alpes. 2021
Debugging concurrent programs is an interesting application of reversibility. It has been renewed with the recent proposal by Giachino et al. to base the operations of a concurrent debugger on a causal-consistent reversible semantics, and subsequent
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::10a85920a94a4f73eb051d656a4c7ee3
https://hal.inria.fr/hal-03247624/file/paper-rc2021.pdf
https://hal.inria.fr/hal-03247624/file/paper-rc2021.pdf