Jonathan Lawrence

Orcid: 0009-0001-4884-6684

According to our database1, Jonathan Lawrence authored at least 4 papers between 2004 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Hooks: A Simple and Modular Checkpointing Protocol for Blockchains.
Proceedings of the 22nd International Symposium on Network Computing and Applications, 2024

Abstracting and Verifying Decentralised Systems in CSP.
Proceedings of the Application of Formal Methods, 2024

2023
The Consensus Machine: Formalising Consensus in the Presence of Malign Agents.
Proceedings of the Theories of Programming and Formal Methods, 2023

2004
Practical Application of CSP and FDR to Software Design.
Proceedings of the Communicating Sequential Processes: The First 25 Years, 2004


  Loading...