A simple proof of a completeness result for \(leads\)-\(to\) in the UNITY logic (Q1186571)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A simple proof of a completeness result for \(leads\)-\(to\) in the UNITY logic |
scientific article |
Statements
A simple proof of a completeness result for \(leads\)-\(to\) in the UNITY logic (English)
0 references
28 June 1992
0 references
program correctness
0 references
programming calculi
0 references
liveness
0 references
fairness
0 references
completeness
0 references
