Doug Goldson

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Richard Bornat [1]
2Brijesh Dongol [13] [14] [15]
3Roger Duke [11]
4Brad Long [11]
5Greg Reeve [6] [8]
6Steve Reeves [1] [6]
7Paul A. Strooper [11]
8Luke Wildman [11]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)