Cliff B. Jones
Affiliations: | Departament of Computing | Newcastle University, Newcastle upon Tyne, England, United Kingdom |
Google:
"Cliff Jones"Children
Sign in to add trainee| Carlos Camarão de | grad student | Newcastle University | |
| Mario Iwan Wolczko | grad student | 1984-1987 | University of Manchester |
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Burns A, Hayes IJ, Jones CB. (2020) Deriving specifications of control programs for cyber physical systems The Computer Journal. 63: 774-790 |
| Jones CB, Yatapanage N. (2019) Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example Formal Aspects of Computing. 31: 353-374 |
| Jones CB, Hayes IJ. (2016) Possible values: Exploring a concept for concurrency The Journal of Logic and Algebraic Programming. 85: 972-984 |
| Jones CB, Hayes IJ, Colvin RJ. (2015) Balancing expressiveness in formal approaches to concurrency Formal Aspects of Computing. 27: 475-497 |
| Jones CB, Lovert MJ, Jason Steggles L. (2014) Revising basic theorem proving algorithms to cope with the logic of partial functions Science of Computer Programming. 94: 238-252 |
| Hayes IJ, Burns A, Dongol B, et al. (2013) Comparing Degrees of Non-Determinism in Expression Evaluation The Computer Journal. 56: 741-755 |
| Jones CB, Pierce KG. (2011) Elucidating concurrent algorithms via layers of abstraction and reification Formal Aspects of Computing. 23: 289-306 |
| Jones CB, Roscoe AW, Wood KR. (2010) Reflections on the Work of C.A.R. Hoare History and Computing |
| Fitzgerald JS, Jones CB. (2008) The connection between two ways of reasoning about partial functions Information Processing Letters. 107: 128-132 |
| Coleman JW, Jones CB. (2007) A Structural Proof of the Soundness of Rely/guarantee Rules Journal of Logic and Computation. 17: 807-841 |