 | 2011 |
|---|
| 12 |       | Brijesh Dongol,
Ian J. Hayes:
Approximating Idealised Real-Time Specifications Using Time Bands.
ECEASST 46: (2011) |
| 2010 |
|---|
| 11 | | Brijesh Dongol,
Ian J. Hayes:
Compositional Action System Derivation Using Enforced Properties.
MPC 2010: 119-139 |
| 2009 |
|---|
| 10 | | Brijesh Dongol,
Ian J. Hayes:
Enforcing Safety and Progress Properties: An Approach to Concurrent Program Derivation.
Australian Software Engineering Conference 2009: 3-12 |
| 9 | | Robert Colvin,
Brijesh Dongol:
A general technique for proving lock-freedom.
Sci. Comput. Program. 74(3): 143-165 (2009) |
| 2008 |
|---|
| 8 | | Brijesh Dongol,
Arjan J. Mooij:
Streamlining progress-based derivations of concurrent programs.
Formal Asp. Comput. 20(2): 141-160 (2008) |
| 2007 |
|---|
| 7 | | Robert Colvin,
Brijesh Dongol:
Verifying Lock-Freedom Using Well-Founded Orders.
ICTAC 2007: 124-138 |
| 2006 |
|---|
| 6 | | Brijesh Dongol:
Derivation of Java Monitors.
ASWEC 2006: 211-220 |
| 5 | | Brijesh Dongol:
Formalising Progress Properties of Non-blocking Programs.
ICFEM 2006: 284-303 |
| 4 | | Brijesh Dongol,
Arjan J. Mooij:
Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards.
MPC 2006: 140-161 |
| 3 | | 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 | | Doug Goldson,
Brijesh Dongol:
Concurrent Program Design in the Extended Theory of Owicki and Gries.
CATS 2005: 41-50 |
| 1 | | Brijesh Dongol,
Doug Goldson:
Extending the theory of Owicki and Gries with a logic of progress
CoRR abs/cs/0512012: (2005) |
Data released under the ODC-BY 1.0 license — See also our legal information page