2017/05/26 by Claudio Antares Mezzina, Mezzina, Claudio Antares, Emilio Tuosto +1
Medicine · Neuroscience · #Advanced Neuroimaging Techniques and Applications #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Functional Brain Connectivity Studies #Logic in Computer Science (cs.LO) #Neurological disorders and treatments
paper · pdf · doi:10.48550/arxiv.1705.09525
openalex publication_date 2017/05/26 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We propose a choreographic model of reversible computations based on a conservative extension of global graphs and communicating finite-state machines. The main advantage of our approach is that does not require to instrument models in order to control reversibility but for a minor decoration of branches. We show that our models are conservative extensions of existing ones and that the reversible semantics guarantees causal consistency.