Published March 8, 2024
| Version v1
Software
Open
CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis
Authors/Creators
- 1. Aarhus University, Denmark
- 2. Ecole Polytechnique, France
- 3. Amazon Web Services
- 4. Indian Institute of Technology, India
Files
Files
(5.3 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:5930704f9f3e739098d13d1646eae302
|
5.3 GB | Download |