Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Professor Cliff Jones

Newcastle AuthorsTitleYearFull text
Professor Cliff Jones
 Reasoning about shared-variable concurrency: interactions between research threads2019
Professor Cliff Jones
Deriving specifications of control programs for cyber physical systems2019
Professor Cliff Jones
Dr Nisansala Yatapanage
Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example2019
Professor Cliff Jones
Concurrency: Handling interference formally2018
Professor Cliff Jones
Dr Nisansala Yatapanage
Investigating the limits of rely/guarantee conditions based on a concurrent garbage collector example2018
Professor Cliff Jones
Preface2018
Professor Cliff Jones
Troy Astarte
Challenges for Formal Semantic Description: Responses from the Main Approaches2017
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
1234567891011121314151617181920...