Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Proving Failure-Free Properties of Concurrent Systems Using Temporal Logic | 6 | 0.64 | 1984 |
| Verification of fairness in an implementation of monitors | 4 | 2.04 | 1976 |
| A reply to gentleman and Marovich | 0 | 0.34 | 1975 |
| Correspondence from the members | 4 | 3.45 | 1974 |