| 2006 |
|---|
| 15 | 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 |
|---|
| 14 | EE | Doug Goldson,
Brijesh Dongol:
Concurrent Program Design in the Extended Theory of Owicki and Gries.
CATS 2005: 41-50 |
| 13 | EE | Brijesh Dongol,
Doug Goldson:
Extending the theory of Owicki and Gries with a logic of progress
CoRR abs/cs/0512012: (2005) |
| 2004 |
|---|
| 12 | EE | Doug Goldson:
An Experiment in the Design of Distributed Programs.
Australian Software Engineering Conference 2004: 70-76 |
| 11 | EE | 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 |
|---|
| 10 | EE | Doug Goldson:
Extending the theory of Owicki and Gries with asynchronous message passing.
APSEC 2003: 532-541 |
| 9 | EE | Doug Goldson:
Derivation of Distributed Programs in the Theory of Owicki and Gries: An Example.
IWFM 2003 |
| 8 | EE | Doug Goldson,
Greg Reeve:
Semantic Properties of mu-Charts.
SEFM 2003: 148-155 |
| 2002 |
|---|
| 7 | EE | Doug Goldson:
Formal Verification of mu-Charts.
APSEC 2002: 129- |
| 6 | EE | Doug Goldson,
Greg Reeve,
Steve Reeves:
µ-Chart-Based Specification and Refinement.
ICFEM 2002: 323-334 |
| 2001 |
|---|
| 5 | EE | Doug Goldson:
Multiprogram Design in the theory of Owicki and Gries.
IWFM 2001 |
| 2000 |
|---|
| 4 | EE | Doug Goldson:
Formal Modeling of Interactive Systems.
APAQS 2000: 207-215 |
| 1997 |
|---|
| 3 | | Doug Goldson:
Abstract modelling of interactive systems.
INTERACT 1997: 134-141 |
| 1994 |
|---|
| 2 | | Doug Goldson:
A Symbolic Calculator for Non-Strict Functional Programs.
Comput. J. 37(3): 177-187 (1994) |
| 1993 |
|---|
| 1 | | Doug Goldson,
Steve Reeves,
Richard Bornat:
A Review of Several Programs for the Teaching of Logic.
Comput. J. 36(4): 373-386 (1993) |
