Modeling and Analyzing Resource-Sensitive Actors - A Tutorial Introduction. | 0 | 0.34 | 2021 |
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 |
EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype Tools. | 0 | 0.34 | 2017 |