Implementation of Reversible Distributed Calculus - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2023

Implementation of Reversible Distributed Calculus

Clément Aubert

Résumé

Process calculi (π-calculus, CCS, ambient calculus, etc.) are an abstraction of concurrent systems useful to study, specify and verify distributed programs and protocols. This project, IRDC, is concerned with the implementation of such an abstraction for reversible process calculi. It is, to the best of our knowledge, the first such publicly available tool. We briefly present the current state of this tool, some of its features, and discuss its future developments.
Fichier principal
Vignette du fichier
2023_03_17_standalone.pdf (146.41 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04035458 , version 1 (21-03-2023)

Licence

Paternité

Identifiants

  • HAL Id : hal-04035458 , version 1

Citer

Clément Aubert, Browning Peter. Implementation of Reversible Distributed Calculus: (tool demonstration paper). 2023. ⟨hal-04035458⟩
26 Consultations
37 Téléchargements

Partager

Gmail Facebook X LinkedIn More