Paul Howells

According to our database, Paul Howells authored at least 9 papers between 1996 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

Specifying termination in CSP.

Paul Howells, Mark d'Inverno

Theor. Comput. Sci., 2013

Specifying and Analysing Networks of Processes in CSPt (or In Search of Associativity).

Paul Howells, Mark d'Inverno

Proceedings of the 35th Communicating Process Architectures, 2013

Successful Termination in Timed CSP.

Paul Howells, Mark d'Inverno

Proceedings of the 35th Communicating Process Architectures, 2013

2009

A CSP model with flexible parallel termination semantics.

Paul Howells, Mark d'Inverno

Formal Aspects Comput., 2009

Agent-Based Modeling of Stem Cells.

Paul Howells, Mark d'Inverno, Rob Saunders, Ingo Roeder, Sara Montagna

Proceedings of the Multi-Agent Systems - Simulation and Applications., 2009

2005

Communicating sequential processes with flexible parallel termination semantics.

Paul Howells

PhD thesis, 2005

2002

Soft-link hypertext for information retrieval.

Mark d'Inverno, Paul Howells, Michael J. Hu, Michael Luck

Inf. Softw. Technol., 2002

1999

Formalising high-performance systems methodologies.

George R. Ribeiro-Justo, Paul Howells, Mark d'Inverno

J. Syst. Archit., 1999

1996

A Formal Framework For Specifying Design Methods.

Mark d'Inverno, George R. Ribeiro-Justo, Paul Howells

Softw. Process. Improv. Pract., September, 1996