Inseguendo Fagiani Selvatici - Partial Order Reduction for Guarded Command Languages. | 0 | 0.34 | 2020 |
Global Reproducibility Through Local Control for Distributed Active Objects. | 0 | 0.34 | 2020 |
An Analysis Tool for Models of Virtualized Systems. | 0 | 0.34 | 2018 |