Login / Signup
Jonathan Lawrence
ORCID
Publication Activity (10 Years)
Years Active: 2004-2023
Publications (10 Years): 1
Top Topics
Coalition Formation
Resource Bounded
Multiagent Systems
Top Venues
Theories of Programming and Formal Methods
</>
Publications
</>
A. W. Roscoe
,
Pedro Antonino
,
Jonathan Lawrence
The Consensus Machine: Formalising Consensus in the Presence of Malign Agents.
Theories of Programming and Formal Methods
(2023)
Jonathan Lawrence
Practical Application of CSP and FDR to Software Design.
25 Years Communicating Sequential Processes
(2004)