Browse by People

Up a level
Export as [feed] Atom [feed] RSS [feed] RSSPD
Group by: Item Type | No Grouping
Number of items: 4.

Article

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 (2009) A CSP model with flexible parallel termination semantics. Formal Aspects of Computing, 21 (5). pp. 421-449. ISSN 0934-5043

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

Book Section

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

This list was generated on Sat Sep 24 23:34:20 2016 BST.