Howells, Paul and d'Inverno, Mark. 2013. Specifying Termination in CSP. Theoretical Computer Science, 503, pp. 31-60. ISSN 0304-3975 [Article]

Howells, Paul and d'Inverno, Mark. 2009. A CSP model with flexible parallel termination semantics. Formal Aspects of Computing, 21(5), pp. 421-449. ISSN 0934-5043 [Article]

d'Inverno, Mark; Howells, Paul; Hu, Michael and Luck, Michael. 2002. Soft-link hypertext for information retrieval. Information and Software Technology, 44(2), pp. 101-112. ISSN 0950-5849 [Article]

Ribeiro Justo, G.R.; Howells, Paul and d'Inverno, Mark. 1999. Formalising high-performance systems methodologies. Journal of Systems Architecture, 45(6-7), pp. 441-464. ISSN 1383-7621 [Article]

d'Inverno, Mark; Justo, G.R. Ribeiro and Howells, Paul. 1996. A Formal Framework For Specifying Design Methods. Software Process: Improvement and Practice, 2(3), pp. 181-196. ISSN 1077-4866 [Article]

d'Inverno, Mark; Howells, Paul; Montagna, Sara; Roeder, Ingo and Saunders, Rob. 2009. Agent-based modeling of stem cells. In: Adelinde Uhrmacher and Danny Weyns, eds. Multi-agent systems: simulation and applications. Boca Raton, FL: CRC Press, Taylor & Francis Group, pp. 389-422. ISBN 9781420070231 [Book Section]

Howells, Paul and d'Inverno, Mark. 2013. 'Specifying and Analysing Networks of Processes in CSPt (or In Search of Associativity)'. In: Communicating Process Architectures 2013. Edinburgh. [Conference or Workshop Item]

Howells, Paul and d'Inverno, Mark. 2013. 'Successful Termination in Timed CSP'. In: Communicating Process Architectures 2013. Edinburgh. [Conference or Workshop Item]

d'Inverno, Mark; Justo, GR Ribeiro and Howells, Paul. 1996. 'A formal framework for specifying design methods'. In: System Sciences, 1996., Proceedings of the Twenty-Ninth Hawaii International Conference on,. Hawaii. [Conference or Workshop Item]