Jonathan Lawrence

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

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Hooks: A Simple and Modular Checkpointing Protocol for Blockchains.

Pedro Antonino, Antoine Durand, Namrata Jain, Garry Lancaster, Jonathan Lawrence, A. W. Roscoe

Proceedings of the 22nd International Symposium on Network Computing and Applications, 2024

Abstracting and Verifying Decentralised Systems in CSP.

A. W. Roscoe, Pedro Antonino, Jonathan Lawrence

Proceedings of the Application of Formal Methods, 2024

2023

The Consensus Machine: Formalising Consensus in the Presence of Malign Agents.

A. W. Roscoe, Pedro Antonino, Jonathan Lawrence

Proceedings of the Theories of Programming and Formal Methods, 2023

2004

Practical Application of CSP and FDR to Software Design.

Jonathan Lawrence

Proceedings of the Communicating Sequential Processes: The First 25 Years, 2004