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...
| मुख्य लेखक: | |
|---|---|
| अन्य लेखक: | |
| स्वरूप: | थीसिस |
| भाषा: | English |