Paul Howells

Publication Activity (10 Years)

Years Active: 1996-2013
Publications (10 Years): 0

Top Topics

Arc Consistency

Colored Petri Nets

Constraint Propagation

Constraint Satisfaction Problems

Top Venues

Theor. Comput. Sci.

University of Westminster, London, UK (PHD)

Education History

University of Westminster, London, UK

PHD

Publications

Paul Howells, Mark d'Inverno
Successful Termination in Timed CSP. CPA (2013)
Paul Howells, Mark d'Inverno
Specifying and Analysing Networks of Processes in CSPt (or In Search of Associativity). CPA (2013)
Paul Howells, Mark d'Inverno
Specifying termination in CSP. Theor. Comput. Sci. 503 (2013)
Paul Howells, Mark d'Inverno
A CSP model with flexible parallel termination semantics. Formal Aspects Comput. 21 (5) (2009)
Mark d'Inverno, Paul Howells, Michael J. Hu, Michael Luck
Soft-link hypertext for information retrieval. Inf. Softw. Technol. 44 (2) (2002)
George R. Ribeiro-Justo, Paul Howells, Mark d'Inverno
Formalising high-performance systems methodologies. J. Syst. Archit. 45 (6-7) (1999)
Mark d'Inverno, George R. Ribeiro-Justo, Paul Howells
A Formal Framework for Specifying Design Methods. HICSS (1) (1996)
Mark d'Inverno, George R. Ribeiro-Justo, Paul Howells
A Formal Framework For Specifying Design Methods. Softw. Process. Improv. Pract. 2 (3) (1996)