Issue Date	Title	Author(s)
31-Dec-2003	Extracting passage times from PEPA models with the HYDRA tool: a case study	Bradley, JT; Dingle, NJ; Gilmore, ST; Knottenbelt, WJ; Jarvis SA
17-May-2010	A fluid analysis framework for a Markovian process algebra	Hayden, RA; Bradley, JT
30-Jun-2009	Fluid passage-time calculation in large Markov models	Hayden, R; Bradley, J
1-Jan-2008	Fluid semantics for passive stochastic process algebra cooperation	Hayden, RA; Bradley, JT
31-Jul-2007	Fluid-flow solutions in PEPA to the state space explosion problem	Hayden, R; Bradley, J
1-Jan-2006	Grid workflow scheduling in WOSE	Patel, Y; McGough, AS; Darlington, J; Cox SJ
1-Jan-2003	HYDRA: HYpergraph-based distributed response-time analyser	Dingle, NJ; Harrison, PG; Knottenbelt, WJ; Arabnia HR, Mun Y
15-Jul-2004	Hypergraph-based parallel computation of passage time densities in large semi-Markov models	Bradley, JT; Dingle, NJ; Knottenbelt, WJ; Wilson, HJ
30-Jun-2004	Iterative Transient State Distribution Calculation in Semi-Markov Processes	Dingle, N
1-Jan-2008	Modelling and Validation of Response Times in Zoned RAID	Lebrecht, AS; Dingle, NJ; Knottenbelt, WJ
31-Jul-2009	The Need for Flexible Object Invariants	Summers, A; Drossopoulou, S; Müller, P
1-Dec-2006	A novel approach to allocating QoS-constrained workflow-based jobs in a multi-cluster grid	Patel, Y; Darlington, J
31-Dec-2006	A Novel Approach to Workload Allocation of QoS-Constrained Workflow-Based Jobs in a Utility Grid	Patel, Y; Darlington, J
2005	Observing internet worm and virus attacks with a small network telescope	Harder,U.; Johnson,M.W.; Bradley,J.T.; Knottenbelt,W.J.
31-Jul-2008	ODE-based general moment approximations for PEPA	Hayden, R; Bradley, J
1-Jan-2008	A Parallel and Distributed Analysis Pipeline for Performance Tree Evaluation	Brien, DK; Dingle, NJ; Knottenbelt, WJ; Kulatunga, H; Suto, T
31-Dec-1997	Parallel Simulation of Complex Plankton Ecosystems	Field, T; Warren, S; Woods, J; To, H
Aug-1995	PARALLEL SKELETONS FOR STRUCTURED COMPOSITION	DARLINGTON, J; GUO, YK; TO, HW; YANG, J
31-Dec-2002	Passage time distributions in large Markov chains	Harrison,P.G.; Knottenbelt,W.J.
1-Jul-2001	Performance analysis of three implementation strategies for distributed lock management	Knottenbelt, WJ; Zertal, S; Harrison, PG