WestminsterResearch

Items where Author is Howells, Paul

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] RSSPD [feed] Atom
Group by: Date | Item Type | Creators | No Grouping
Jump to: 2013 | 2009 | 2002
Number of items: 6.

2013

Howells, Paul and d'Inverno, Mark (2013) Specifying termination in CSP. Theoretical Computer Science, 503 . pp. 31-60. ISSN 0304-3975

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, 25 - 28 Aug 2013, Edinburgh Napier University, Edinburgh.

Howells, Paul and d'Inverno, Mark (2013) Successful termination in timed CSP. In: Communicating Process Architectures 2013, 25 - 28 Aug 2013, Edinburgh Napier University, Edinburgh.

2009

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

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

2002

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

This list was generated on Thu Jul 24 04:15:22 2014 BST.