Three Early Formal Approaches to the Verification of Concurrent Programs von Jones, Cliff B.

Volltext

Extending rely-guarantee thinking to handle real-time scheduling von Jones, Cliff B., Burns, Alan

Volltext

Understanding Programming Languages von Jones, Cliff B

Volltext

FME '97: Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe Graz, Austria, September 15–19, 1997 Proceedin... von Fitzgerald, John, Jones, Cliff B, Lucas, Peter

Volltext

Deriving Specifications of Control Programs for Cyber Physical Systems von Burns, Alan, Hayes, Ian J, Jones, Cliff B

Volltext

Specifying and Reasoning About Shared-Variable Concurrency von Hayes, Ian J., Jones, Cliff B., Meinicke, Larissa A.

Volltext

Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example von Jones, Cliff B., Yatapanage, Nisansala

Volltext

Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday von Jones, Cliff B, Lloyd, John L

Volltext

In memoriam: Professor Heinz Zemanek (1920–2014) von Jones, Cliff B.

Volltext

Balancing expressiveness in formal approaches to concurrency von Jones, Cliff B., Hayes, Ian J., Colvin, Robert J.

Volltext

Comparing Degrees of Non-Determinism in Expression Evaluation von Hayes, Ian J, Burns, Alan, Dongol, Brijesh, Jones, Cliff B

Volltext

John McCarthy (1927–2011) von Jones, Cliff B.

Volltext

The Vienna Development Method: The Meta-Language von Bjørner, Dines, Jones, Cliff B

Volltext

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays von Jones, Cliff B, Liu, Zhiming, Woodcock, Jim

Volltext

The Development and Deployment of Formal Methods in the UK von Jones, Cliff B., Thomas, Martyn

Volltext

Elucidating concurrent algorithms via layers of abstraction and reification von Jones, Cliff B., Pierce, Ken G.

Volltext

A Structural Proof of the Soundness of Rely/guarantee Rules von Coleman, Joey W., Jones, Cliff B.

Volltext

Communicating Sequential Processes. the First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers von Abdallah, Ali E, Jones, Cliff B, Sanders, Jeff W

Volltext

Programming Languages and Their Definition: H. Bekič (1936–1982) von Jones, C. B

Volltext

Concurrency: Handling Interference Formally von Jones, Cliff B.

Volltext