Browsing publications by Professor Cliff Jones

Newcastle AuthorsTitleYear
Professor Ian Hayes
Professor Cliff Jones
Comparing Degrees of Non-Determinism in Expression Evaluation2013
Professor Cliff Jones
Experience of Deployment in the Automotive Industry2013
Professor Cliff Jones
Turing's "Checking a Large Routine"2013
Professor Cliff Jones
Matthew Lovert
Dr Jason Steggles
A Semantic Analysis of Logics that Cope with Partial Terms2012
Professor Cliff Jones
A specification for ACMs2012
Professor Cliff Jones
Abstraction as a unifying link for formal approaches to concurrency2012
Professor Cliff Jones
Abstraction as a unifying link for formal approaches to concurrency2012
Dr Manuel Mazzara
Professor Cliff Jones
Dr Alexei Iliasov
Lessons from DEPLOYment2012
Professor Ian Hayes
Professor Cliff Jones
Refining rely-guarantee thinking2012
Professor Michael Jackson
Professor Cliff Jones
Dr Manuel Mazzara
Towards a Formalism-Based Toolkit for Automotive Applications2012
1234567891011121314151617181920...