https://hal.inria.fr/hal-02109769 Contributor : The Anh PhamConnect in order to contact the contributor Submitted on : Thursday, April 25, 2019 - 10:02:54 AM Last modification on : Monday, April 4, 2022 - 9:28:23 AM Long-term archiving on: : Friday, July 26, 2019 - 12:34:29 PM
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⟩