- CSB - MetaPress - Google - Bing - Yahoo
 | 2006 | |
|---|---|---|
| j3 |      | 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 | ||
| c11 | | Doug Goldson, Brijesh Dongol: Concurrent Program Design in the Extended Theory of Owicki and Gries. CATS 2005: 41-50 |
| i1 | | Brijesh Dongol, Doug Goldson: Extending the theory of Owicki and Gries with a logic of progress. CoRR abs/cs/0512012 (2005) |
| 2004 | ||
| c10 | | Doug Goldson: An Experiment in the Design of Distributed Programs. Australian Software Engineering Conference 2004: 70-76 |
| c9 | | Brad Long, Roger Duke, Doug Goldson, Paul A. Strooper, Luke Wildman: Mutation-Based Exploration of a Method for Verifying Concurrent Java Components. IPDPS 2004 |
| 2003 | ||
| c8 | | Doug Goldson: Extending the theory of Owicki and Gries with asynchronous message passing. APSEC 2003: 532-541 |
| c7 | | Doug Goldson: Derivation of Distributed Programs in the Theory of Owicki and Gries: An Example. IWFM 2003 |
| c6 | | |
| 2002 | ||
| c5 | | |
| c4 | | Doug Goldson, Greg Reeve, Steve Reeves: µ-Chart-Based Specification and Refinement. ICFEM 2002: 323-334 |
| 2001 | ||
| c3 | | |
| 2000 | ||
| c2 | | |
| 1997 | ||
| c1 |  | |
| 1994 | ||
| j2 | | Doug Goldson: A Symbolic Calculator for Non-Strict Functional Programs. Comput. J. 37(3): 177-187 (1994) |
| 1993 | ||
| j1 | | Doug Goldson, Steve Reeves, Richard Bornat: A Review of Several Programs for the Teaching of Logic. Comput. J. 36(4): 373-386 (1993) |
| 1 | Richard Bornat | |
| 2 | Brijesh Dongol | |
| 3 | Roger Duke | |
| 4 | Brad Long | |
| 5 | Greg Reeve | |
| 6 | Steve Reeves | |
| 7 | Paul A. Strooper | |
| 8 | Luke Wildman |
Colors in the list of coauthors
Last update Fri May 24 15:36:56 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page