| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed Programs
Cited literature [19 references]
https://hal.inria.fr/hal-02109769
Contributor : The Anh Pham Connect 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
Contributor : The Anh Pham Connect 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
File
Forte_paper.pdf
Files produced by the author(s)
Licence
Distributed under a Creative Commons Attribution 4.0 International License