Dr Paul Howells


2013

Specifying termination in CSP
Howells, P. and d'Inverno, M. 2013. Specifying termination in CSP. Theoretical Computer Science. 503, pp. 31-60. https://doi.org/10.1016/j.tcs.2013.05.008

2009

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. https://doi.org/10.1007/s00165-008-0098-z

2002

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. https://doi.org/10.1016/S0950-5849(01)00221-X

2013

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

2013

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

2009

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


Usage Statistics
297 total views of outputs
0 total downloads of outputs
These values cover views and downloads from WestminsterResearch and are for the period from September 2nd 2018, when this repository was created.