Separation and interference: learning from the history of concurrency (Leverhulme Trust project RPG-2019-020)
Cliff Jones has a Leverhulme grant to study and document the history of research on formal methods for concurrency. The 3.5 year project (RPG-2019-020) started November 2019. This is creating a book (authors Jones and Astarte). The (now stable) table of contents follows; the first six chapters are developed enough that the authors could release them on request under a suitable agreement.
Current book structure
- Chapter 1 Introduction: CBJ
- Chapter 2 Formal approaches to sequential programs: CBJ
- Chapter 3 Challenges of concurrency: CBJ
- Chapter 4 Post-facto program verification: CBJ
- Chapter 5 Compositional development of concurrent programs: CBJ
- Chapter 6 Synchronisation: TKA
- Chapter 7 Encapsulating concurrency: TKA
- Chapter 8 Logics for reasoning about sequences of events: TKA
- Chapter 9 Communication-based concurrency: CBJ
- Chapter 10 Conclusions:
- References
- Appendices
- Please see the Note
Other recent outputs include:
- Astarte and Jones both spoke at the 2021 HaPoC event and have had journal (Minds and Machines) papers published in the post-conference proceedings (Troy, Cliff).
- "Theories of programming: the life and works of Tony Hoare" (co-edited with Jayadev Misra) has been published by ACM.
- A FAC journal paper (joint with Martyn Thomas) focusses on the deployment of formal methods results.
- A ECRTS paper (joint with Alan Burns).
- My 2022 BCTCS talk: video available