Dr Paul Howells

Senior Lecturer

DepartmentComputer Science and Engineering

Research outputs

Specifying termination in CSP
Howells, P. and d'Inverno, M. 2013. Specifying termination in CSP. Theoretical Computer Science. 503, pp. 31-60.

Successful termination in timed CSP
Howells, P. and d'Inverno, M. 2013. Successful termination in timed CSP. Communicating Process Architectures 2013. Edinburgh Napier University, Edinburgh 25 - 28 Aug 2013 pp. 21-38

Specifying and analysing networks of processes in CSPt (or in search of associativity)
Howells, P. and d'Inverno, M. 2013. Specifying and analysing networks of processes in CSPt (or in search of associativity). Communicating Process Architectures 2013. Edinburgh Napier University, Edinburgh 25 - 28 Aug 2013 pp. 157-184

A CSP model with flexible parallel termination semantics
Howells, P. and d'Inverno, M. 2009. A CSP model with flexible parallel termination semantics. Formal Aspects of Computing. 21 (5), pp. 421-449.

Agent-based modeling of stem cells
d'Inverno, M., Howells, P., Montagna, S., Roeder, I. and Saunders, R. 2009. Agent-based modeling of stem cells. in: Uhrmacher, A.M. and Weyns, D. (ed.) Multi-agent systems: simulation and applications Boca Raton CRC Press, Taylor & Francis. pp. 389-422

Soft-link hypertext for information retrieval
d'Inverno, M., Howells, P., Hu, M. and Luck, M. 2002. Soft-link hypertext for information retrieval. Information and Software Technology. 44 (2), pp. 101-112.