Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed Programs
| Origin | Files produced by the author(s) |
|---|
Loading...
Conference Papers
Year : 2019
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 : Friday, March 28, 2025-3:09:15 AM
Long-term archiving on : Friday, July 26, 2019-12:34:29 PM
Dates and versions
Licence
Identifiers
- HAL Id : hal-02109769 , version 1
- DOI : 10.1007/978-3-030-21759-4_13
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⟩
Collections
484
View
722
Download