The following pages link to Cliff B. Jones (Q890477):
Displaying 36 items.
- (Q520231) (redirect page) (← links)
- Obituary: Amílcar Sernadas (1952--2017) (Q520233) (← links)
- Elucidating concurrent algorithms via layers of abstraction and reification (Q539423) (← links)
- Balancing expressiveness in formal approaches to concurrency (Q890478) (← links)
- The connection between two ways of reasoning about partial functions (Q963419) (← links)
- Operational semantics: concepts and their expression (Q1028973) (← links)
- John McCarthy (1927--2011) (Q1941856) (← links)
- Turing's 1949 paper in context (Q2011633) (← links)
- In memoriam: Professor Heinz Zemanek (1920--2014) (Q2355387) (← links)
- Possible values: exploring a concept for concurrency (Q2374311) (← links)
- Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example (Q2418046) (← links)
- (Q2721098) (← links)
- The transition from VDL to VDM (Q2755063) (← links)
- Ours Is to Reason Why (Q2842639) (← links)
- An approach to splitting atoms safely (extended abstract) (Q2852345) (← links)
- Reasoning about partial functions in the formal development of programs (Q2863853) (← links)
- (Q3038590) (← links)
- Insight, Inspiration and Collaboration (Q3163395) (← links)
- Understanding Programming Language Concepts Via Operational Semantics (Q3525020) (← links)
- Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification (Q3535380) (← links)
- (Q3707340) (← links)
- (Q3859249) (← links)
- (Q3997074) (← links)
- (Q4222763) (← links)
- (Q4222766) (← links)
- (Q4413728) (← links)
- (Q4493874) (← links)
- Finding Effective Abstractions (Q5029443) (← links)
- (Q5057638) (← links)
- Reasoning about Separation Using Abstraction and Reification (Q5268439) (← links)
- Panelist position statement: reasoning about the design of programs (Q5301853) (← links)
- A Structural Proof of the Soundness of Rely/guarantee Rules (Q5427260) (← links)
- The Development and Deployment of Formal Methods in the UK (Q6136742) (← links)
- Concurrency: handling interference formally (Q6165766) (← links)
- Specifying and reasoning about shared-variable concurrency (Q6535828) (← links)
- Extending rely-guarantee thinking to handle real-time scheduling (Q6564175) (← links)
