A Formal Framework For Specifying Design Methods. - Mark d'Inverno; George R. Ribeiro-Justo; Paul Howells (Softw. Process. Improv. Pract., 1996)

Formalising high-performance systems methodologies. - George R. Ribeiro-Justo; Paul Howells; Mark d'Inverno (J. Syst. Archit., 1999)

Soft-link hypertext for information retrieval. - Mark d'Inverno; Paul Howells; Michael J. Hu; Michael Luck (Inf. Softw. Technol., 2002)

Communicating sequential processes with flexible parallel termination semantics. - Paul Howells (2005)

Agent-Based Modeling of Stem Cells. - Paul Howells; Mark d'Inverno; Rob Saunders; Ingo Roeder; Sara Montagna (Multi-Agent Systems, 2009)

A CSP model with flexible parallel termination semantics. - Paul Howells; Mark d'Inverno (Formal Aspects Comput., 2009)

Successful Termination in Timed CSP. - Paul Howells; Mark d'Inverno (CPA, 2013)

Specifying and Analysing Networks of Processes in CSPt (or In Search of Associativity). - Paul Howells; Mark d'Inverno (CPA, 2013)

Specifying termination in CSP. - Paul Howells; Mark d'Inverno (Theor. Comput. Sci., 2013)