D. Goldson

Showing respect in school: what does it mean?

D. Goldson, 2018, Reflective Practice.

Mutation-based exploration of a method for verifying concurrent Java components

Paul A. Strooper, Brad Long, Roger Duke, 2004, 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings..

Semantic properties of /spl mu/-charts

D. Goldson, G. Reeve, D. Goldson, 2003, First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings..

Extending the theory of Owicki and Gries with a logic of progress

Brijesh Dongol, Doug Goldson, Brijesh Dongol, 2005, Log. Methods Comput. Sci..

Concurrent Program Design in the Extended Theory of Owicki and Gries

Brijesh Dongol, Doug Goldson, Brijesh Dongol, 2005, CATS.