Jonathan Lawrence

According to our database, Jonathan Lawrence authored at least 2 papers between 2004 and 2023.

Collaborative distances:

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

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