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...
| 主要作者: | |
|---|---|
| 其他作者: | |
| 格式: | Thesis |
| 語言: | English |