Replications in Reversible Concurrent Calculi

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

(1)

1

Clément Aubert

Augusta University

Formal semantics Process algebras and calculi Reversible Computation Concurrency Replication

Informatique [cs]

Fichier principal

2023_07_31_standalone.pdf (171.7 Ko)

2023_07_31_standalone.blg (920 B)

2023_07_31_standalone.log (54.36 Ko)

2023_07_31_standalone.out (362 B)

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

https://hal.science/hal-04174437

Soumis le : lundi 31 juillet 2023-19:57:34

Dernière modification le : mercredi 2 août 2023-08:48:43

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

Clément Aubert. Replications in Reversible Concurrent Calculi. 2023. ⟨hal-04174437⟩

24 Consultations

23 Téléchargements