A Specification Logic for Programs in the Probabilistic Guarded Command Language | 0 | 0.34 | 2022 |
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 |
Implementing SOS with Active Objects: A Case Study of a Multicore Memory System. | 0 | 0.34 | 2019 |
Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach. | 0 | 0.34 | 2018 |
EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype Tools. | 0 | 0.34 | 2017 |