Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed Programs
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...
Communication Dans Un Congrès
Année : 2019
The Anh Pham : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-02109769
Soumis le : jeudi 25 avril 2019-10:02:54
Dernière modification le : mardi 5 novembre 2024-09:44:06
Archivage à long terme le : vendredi 26 juillet 2019-12:34:29
Dates et versions
Licence
Identifiants
- HAL Id : hal-02109769 , version 1
- DOI : 10.1007/978-3-030-21759-4_13
Citer
The Anh Pham, Thierry Jéron, Martin Quinson. Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed Programs. FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2019, Copenhagen, Denmark. pp.224-241, ⟨10.1007/978-3-030-21759-4_13⟩. ⟨hal-02109769⟩
Collections
273
Consultations
599
Téléchargements