| |
| 2009 | ||
|---|---|---|
| 9 | EE | Robert Colvin, Brijesh Dongol: A general technique for proving lock-freedom. Sci. Comput. Program. 74(3): 143-165 (2009) |
| 2008 | ||
| 8 | EE | Brijesh Dongol, Arjan J. Mooij: Streamlining progress-based derivations of concurrent programs. Formal Asp. Comput. 20(2): 141-160 (2008) |
| 2007 | ||
| 7 | EE | Robert Colvin, Brijesh Dongol: Verifying Lock-Freedom Using Well-Founded Orders. ICTAC 2007: 124-138 |
| 2006 | ||
| 6 | EE | Brijesh Dongol: Derivation of Java Monitors. ASWEC 2006: 211-220 |
| 5 | EE | Brijesh Dongol: Formalising Progress Properties of Non-blocking Programs. ICFEM 2006: 284-303 |
| 4 | EE | Brijesh Dongol, Arjan J. Mooij: Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards. MPC 2006: 140-161 |
| 3 | EE | Brijesh Dongol, Doug Goldson: Extending the theory of Owicki and Gries with a logic of progress. Logical Methods in Computer Science 2(1): (2006) |
| 2005 | ||
| 2 | EE | Doug Goldson, Brijesh Dongol: Concurrent Program Design in the Extended Theory of Owicki and Gries. CATS 2005: 41-50 |
| 1 | EE | Brijesh Dongol, Doug Goldson: Extending the theory of Owicki and Gries with a logic of progress CoRR abs/cs/0512012: (2005) |
| 1 | Robert Colvin | [7] [9] |
| 2 | Doug Goldson | [1] [2] [3] |
| 3 | Arjan J. Mooij | [4] [8] |