Implementation of a Reversible Distributed Calculus

Pré-Publication, Document De Travail Année : 2023

(1) , (1)

1

Clément Aubert

Augusta University

Peter Browning

Augusta University

Formal semantics Process algebra and calculi Reversible Computation Tool implementation Concurrency

Informatique [cs]

Fichier principal

2023_03_17_standalone.pdf (350.71 Ko)

2023_03_17_standalone.log (52.65 Ko)

2023_03_17_standalone.out (450 B)

Origine	Fichiers produits par l'(les) auteur(s)

https://hal.science/hal-04174439

Soumis le : lundi 31 juillet 2023-20:01:25

Dernière modification le : mercredi 2 août 2023-08:50:34

hal-04174439 , version 1 (31-07-2023)

Clément Aubert, Peter Browning. Implementation of a Reversible Distributed Calculus. 2023. ⟨hal-04174439⟩

14 Consultations

17 Téléchargements