Brijesh Dongol

	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)

Coauthor Index

1	Robert Colvin	[7] [9]
2	Doug Goldson	[1] [2] [3]
3	Ian J. Hayes	[10]
4	Arjan J. Mooij	[4] [8]

Colors in the list of coauthors