Cliff B. Jones

Available identifiers

zbMath Open jones.cliff-bDBLPj/CliffBJonesWikidataQ5132649 ScholiaQ5132649MaRDI QIDQ890477

List of research outcomes

Publication	Date of Publication	Type
Extending rely-guarantee thinking to handle real-time scheduling	2024-06-28	Paper
Specifying and reasoning about shared-variable concurrency	2024-02-28	Paper
The Development and Deployment of Formal Methods in the UK	2023-08-31	Paper
Concurrency: handling interference formally	2023-08-02	Paper
https://portal.mardi4nfdi.de/entity/Q5057638	2022-12-16	Paper
Finding Effective Abstractions	2022-02-14	Paper
Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example	2019-06-03	Paper
Turing's 1949 paper in context	2017-08-04	Paper
Reasoning about Separation Using Abstraction and Reification	2017-06-20	Paper
Obituary: Amílcar Sernadas (1952--2017)	2017-04-03	Paper
Possible values: exploring a concept for concurrency	2016-12-15	Paper
Balancing expressiveness in formal approaches to concurrency	2015-11-10	Paper
In memoriam: Professor Heinz Zemanek (1920--2014)	2015-07-23	Paper
Reasoning about partial functions in the formal development of programs	2013-12-04	Paper
An approach to splitting atoms safely (extended abstract)	2013-10-08	Paper
Ours Is to Reason Why	2013-08-16	Paper
John McCarthy (1927--2011)	2013-03-22	Paper
Elucidating concurrent algorithms via layers of abstraction and reification	2011-05-30	Paper
Insight, Inspiration and Collaboration	2010-10-26	Paper
The connection between two ways of reasoning about partial functions	2010-04-19	Paper
Operational semantics: concepts and their expression	2009-07-09	Paper
Panelist position statement: reasoning about the design of programs	2009-01-20	Paper
Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification	2008-11-11	Paper
Understanding Programming Language Concepts Via Operational Semantics	2008-09-16	Paper
A Structural Proof of the Soundness of Rely/guarantee Rules	2007-11-19	Paper
https://portal.mardi4nfdi.de/entity/Q4413728	2003-07-21	Paper
The transition from VDL to VDM	2002-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q2721098	2001-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4493874	1999-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4222763	1998-12-10	Paper
https://portal.mardi4nfdi.de/entity/Q4222766	1998-12-10	Paper
https://portal.mardi4nfdi.de/entity/Q3997074	1992-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q3707340	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3038590	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3859249	1980-01-01	Paper

Research outcomes over time

This page was built for person: Cliff B. Jones