Skip to Main content Skip to Navigation

Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed Programs

The Anh Pham 1 Thierry Jéron 2 Martin Quinson 3
1 MYRIADS - Design and Implementation of Autonomous Distributed Systems
Inria Rennes – Bretagne Atlantique , IRISA-D1 - SYSTÈMES LARGE ÉCHELLE
2 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
3 ENS Rennes - École normale supérieure - Rennes
Keywords : Asynchronous Distributed program Partial order Unfolding
Document type :
Conference papers
Complete list of metadatas

Cited literature [19 references]  Display  Hide  Download
https://hal.inria.fr/hal-02109769
Contributor : The Anh Pham <>
Submitted on : Thursday, April 25, 2019 - 10:02:54 AM
Last modification on : Tuesday, February 25, 2020 - 8:08:11 AM
Document(s) archivé(s) le : Friday, July 26, 2019 - 12:34:29 PM

File

Vignette du document
Forte_paper.pdf
Files produced by the author(s)

Licence

Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Collections

UNIV-RENNES1 | CNRS | IRISA | INRIA | UNIV-RENNES | UR1-UFR-ISTIC | ENS-RENNES | IFIP | IFIP-WG | IFIP-WG6-1 | IFIP-TC | IFIP-TC6 | IFIP-FORTE | IFIP-LNCS-11535 | IFIP-LNCS | IFIP-DISCOTEC

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

167

Files downloads

281

 

Contact                    Legal Notice                    Personal Data