Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Professor Cliff Jones

Newcastle AuthorsTitleYearFull text
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
Dr Troy Astarte
Professor Cliff Jones
An Exegesis of Four Formal Descriptions of ALGOL 602016
1234567891011121314151617181920...