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
2 SUMO - SUpervision of large MOdular and distributed systems
3 ENS Rennes - École normale supérieure - Rennes

Mots clés: Unfolding; Asynchronous; Partial order; Distributed program

Domaines: Calcul parallèle, distribué et partagé [cs.DC]; Informatique [cs]

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⟩