| 2008 | ||
|---|---|---|
| 4 | Joey W. Coleman: Expression Decomposition in a Rely/Guarantee Context. VSTTE 2008: 146-160 | |
| 2007 | ||
| 3 | Joey W. Coleman, Cliff B. Jones: A Structural Proof of the Soundness of Rely/guarantee Rules. J. Log. Comput. 17(4): 807-841 (2007) | |
| 2 | Joey W. Coleman, Cliff B. Jones: Atomicity: A Unifying Concept in Computer Science. J. UCS 13(8): 1042-1043 (2007) | |
| 2006 | ||
| 1 | Joey W. Coleman: Determining the Specification of a Control System: An Illustrative Example. RODIN Book 2006: 114-132 | |
| 1 | Cliff B. Jones | [2] [3] |