Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Professor Cliff Jones

Newcastle AuthorsTitleYearFull text
Professor Cliff Jones
Dr Nisansala Yatapanage
Investigating the limits of rely/guarantee conditions based on a concurrent garbage collector example2018
Professor Cliff Jones
Troy Astarte
Challenges for semantic description: Comparing responses from the main approaches2017
Professor Cliff Jones
Dr Andrius Velykis
Dr Nisansala Yatapanage
General Lessons from a Rely/Guarantee Development2017
Professor Cliff Jones
Turing’s 1949 Paper in Context2017
Dr Troy Astarte
Professor Cliff Jones
An Exegesis of Four Formal Descriptions of ALGOL 602016
Dr Edward Oughton
Professor Cliff Jones
Razgar Ebrahimy
Digital communications and information systems2016
Professor Cliff Jones
Possible values: exploring a concept for concurrency2016
Professor Cliff Jones
Professor Ian Hayes
Balancing expressiveness in formal approaches to concurrency2015
Professor Cliff Jones
In memoriam: Professor Heinz Zemanek (1920-2014)2015
Professor Cliff Jones
Dr Nisansala Yatapanage
Reasoning about Separation using Abstraction and Reification2015
1234567891011121314151617181920...