Published February 23, 2021
| Version v1
Dataset
Open
Quasi-asynchronous Monitors: Supplementary materials (source code and raw experimental results) for the paper Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Programs
Authors/Creators
Description
Supplementary materials (source code and raw experimental results) for the paper Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Programs
It has the implementation source code and experimental results for quasi-asynchronous monitors
Files
Files
(8.8 MB)
| Name | Size | |
|---|---|---|
|
md5:7eaf250d9c3ea0a135fee7eef9880607
|
8.8 MB | Download |