Taking quotients in CSP by Goldsmith, M

CSP: The Best Concurrent−System Description Language in the World−Probably! by Goldsmith, M

Operational semantics for fun and profit by Goldsmith, M

Inside FDR (abstract of invited talk) by Goldsmith, M

occam transformation at Oxford by Goldsmith, M

The Oxford occam transformation system by Goldsmith, M

Beyond Mobility: What Next After CSP/π by Goldsmith, M

Requirements and Concepts for Information Assurance and Pervasive Adaptation Co−design by Creese, S, Goldsmith, M

Refinement−Friendly Bigraphs and Spygraphs by Goldsmith, M, Creese, S

Implementing Data−Independence: Symbolic Operational Semantics for CSP_M by Goldsmith, M, Whittaker, P

Assumption-commitment support for CSP model checking by Moffat, N, Goldsmith, M

What is intransitive noninterference? by Roscoe, A, Goldsmith, M

On properties of cyberattacks and their nuances by Happa, J, Goldsmith, M

The perfect ‘spy’ for model−checking cryptoprotocols by Roscoe, A, Goldsmith, M

Parallelization of FDR by Goldsmith, M, Martin, J

Assumption−Commitment Support for CSP Model Checking by Moffat, N, Goldsmith, M

Critical systems validation and verification with CSP and FDR by Goldsmith, M, Zakiuddin, I

PB-PKI: a privacy-aware blockchain-based PKI by Axon, L, Goldsmith, M

Accepting Information with a Pinch of Salt: Handling Untrusted Information Sources by Rahman, S, Goldsmith, M, Creese, S

Transformation of occam programs by Goldsmith, M, Roscoe, A