Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed Programs - Formal Techniques for Distributed Objects, Components, and Systems
Conference Papers Year : 2019

Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed Programs

The Anh Pham
  • Function : Author
  • PersonId : 1022539
Design and Implementation of Autonomous Distributed Systems
Thierry Jéron
SUpervision of large MOdular and distributed systems
Martin Quinson
École normale supérieure - Rennes
CV

Domains

Distributed, Parallel, and Cluster Computing [cs.DC] Computer Science [cs]
Fichier principal
Vignette du fichier
Forte_paper.pdf (544.18 Ko) Télécharger le fichier
Origin Files produced by the author(s)

The Anh Pham  : Connect in order to contact the contributor

https://inria.hal.science/hal-02109769

Submitted on : Thursday, April 25, 2019-10:02:54 AM

Last modification on : Tuesday, November 5, 2024-9:44:06 AM

Long-term archiving on : Friday, July 26, 2019-12:34:29 PM

Download

Dates and versions

hal-02109769 , version 1 (25-04-2019)

Licence

Attribution

Identifiers

Cite

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 XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA ENS-RENNES IFIP-LNCS IFIP INRIA2 IFIP-TC IFIP-WG IFIP-TC6 IFIP-WG6-1 UR1-MATH-STIC IFIP-FORTE UR1-UFR-ISTIC IFIP-DISCOTEC UNIV-RENNES IFIP-LNCS-11535 UR1-MATH-NUM
273 View
599 Download

Altmetric

Share

More