Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed Programs
Origin | Files produced by the author(s) |
---|
Loading...
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 : Friday, December 8, 2023-5:17:53 PM
Long-term archiving on : Friday, July 26, 2019-12:34:29 PM