Cliff B. Jones

From MaRDI portal
Person:890477

Available identifiers

zbMath Open jones.cliff-bDBLPj/CliffBJonesWikidataQ5132649 ScholiaQ5132649MaRDI QIDQ890477

List of research outcomes





PublicationDate of PublicationType
Extending rely-guarantee thinking to handle real-time scheduling2024-06-28Paper
Specifying and reasoning about shared-variable concurrency2024-02-28Paper
The Development and Deployment of Formal Methods in the UK2023-08-31Paper
Concurrency: handling interference formally2023-08-02Paper
https://portal.mardi4nfdi.de/entity/Q50576382022-12-16Paper
Finding Effective Abstractions2022-02-14Paper
Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example2019-06-03Paper
Turing's 1949 paper in context2017-08-04Paper
Reasoning about Separation Using Abstraction and Reification2017-06-20Paper
Obituary: Amílcar Sernadas (1952--2017)2017-04-03Paper
Possible values: exploring a concept for concurrency2016-12-15Paper
Balancing expressiveness in formal approaches to concurrency2015-11-10Paper
In memoriam: Professor Heinz Zemanek (1920--2014)2015-07-23Paper
Reasoning about partial functions in the formal development of programs2013-12-04Paper
An approach to splitting atoms safely (extended abstract)2013-10-08Paper
Ours Is to Reason Why2013-08-16Paper
John McCarthy (1927--2011)2013-03-22Paper
Elucidating concurrent algorithms via layers of abstraction and reification2011-05-30Paper
Insight, Inspiration and Collaboration2010-10-26Paper
The connection between two ways of reasoning about partial functions2010-04-19Paper
Operational semantics: concepts and their expression2009-07-09Paper
Panelist position statement: reasoning about the design of programs2009-01-20Paper
Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification2008-11-11Paper
Understanding Programming Language Concepts Via Operational Semantics2008-09-16Paper
A Structural Proof of the Soundness of Rely/guarantee Rules2007-11-19Paper
https://portal.mardi4nfdi.de/entity/Q44137282003-07-21Paper
The transition from VDL to VDM2002-01-07Paper
https://portal.mardi4nfdi.de/entity/Q27210982001-07-01Paper
https://portal.mardi4nfdi.de/entity/Q44938741999-01-01Paper
https://portal.mardi4nfdi.de/entity/Q42227631998-12-10Paper
https://portal.mardi4nfdi.de/entity/Q42227661998-12-10Paper
https://portal.mardi4nfdi.de/entity/Q39970741992-09-17Paper
https://portal.mardi4nfdi.de/entity/Q37073401986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q30385901982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38592491980-01-01Paper

Research outcomes over time

This page was built for person: Cliff B. Jones