Timed CSP: Theory and Practice. - Steve A. Schneider; Jim Davies; D. M. Jackson; George M. Reed; Joy N. Reed; A. W. Roscoe 001 (REX Workshop, 1991)

A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange. - Andrew Kay; Joy N. Reed (IEEE Trans. Software Eng., 1993)

Portability, predictability and performance for parallel computing: BSP in practice. - Joy N. Reed; Kevin Parrott; Tim Lanfear (Concurr. Pract. Exp., 1996)

Formal Methods and Industrial-Strength Computer Networks. - Joy N. Reed (Requirements Targeting Software and Systems Engineering, 1997)

Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms. - Joy N. Reed; D. M. Jackson; Borislav Deianov; George M. Reed (FASE, 1998)

Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development. - Joy N. Reed; Jane E. Sinclair; F. Guigand (IFM, 1999)

Verifying End-to-End Protocols using Induction with CSP/FDR. - S. J. Creese; Joy N. Reed (IPPS/SPDP Workshops, 1999)

Routing - A Challenge to Formal Methods. - Joy N. Reed; Jane E. Sinclair (PDPTA, 1999)

Refinement-Preserving Plug-In Components. - Joy N. Reed; Jane E. Sinclair (MFCSIT, 2000)

Combining Independent Specifications. - Joy N. Reed; Jane E. Sinclair (FASE, 2001)

Motivating Study of Formal Methods in the Classroom. - Joy N. Reed; Jane E. Sinclair (TFM, 2004)

Responsiveness of interoperating components. - Joy N. Reed; Jane E. Sinclair; A. W. Roscoe 001 (Formal Aspects Comput., 2004)

Machine-Verifiable Responsiveness. - Joy N. Reed; A. W. Roscoe 001; Jane E. Sinclair (AVoCS, 2005)

Responsiveness and stable revivals. - Joy N. Reed; A. W. Roscoe 001; Jane E. Sinclair (Formal Aspects Comput., 2007)