On weak, lazy, and easy soundness in robustness diagrams with loop and time controls
The Robustness Diagram with Loop and Time Controls (RDLT) is a workflow model that captures the resource, process, and case workflow dimensions. Among the properties that such model has is classical soundness which implies two sub-properties of proper termination and liveness. Through weakening thes...
| Yazar: | |
|---|---|
| Diğer Yazarlar: | |
| Materyal Türü: | Tez |
| Dil: | English |