Separation and interference: learning from the history of concurrency (Leverhulme Trust project RPG-2019-020)
Cliff Jones had a Leverhulme grant to study and document the history of research on formal methods for concurrency. The 3.5 year project has now finished but publications by Jones and Astarte. continue to appear:
- 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
- A paper (presented at CiE-17 in Turku) is Turing's 1949 paper in Context.
- The proceedings of the Paris HaPoP are available and a longer Technical Report version compares four formal semantic descriptions of ALGOL 60.
- A paper that looks at the "challenges" represented in formal semantic descriptions (was the basis of my HaPoC talk in Brno and) has also been been published (again a Technical Report is available).
- A much earlier paper about formal methods for verification is (Jones, 2003).