4 works on record
The modelling and analysis of security protocols
2001
Reflections on the Work of C.A.R. Hoare
Understanding Concurrent Systems
Domains for Denotational Semantics
