Books
- .
- February, 2011
- Performance Modelling of Communication Networks and Computer Architectures
- Peter G. Harrison, Naresh M. Patel
- January, 1993
- Functional Programming
- A. J. Field, Peter G. Harrison
- July, 1988
Book Chapters
- GPA - A multiformalism, multisolution approach to efficient analysis of large scale population models
- Jeremy T. Bradley, Marcel C. Guenther, Richard Hayden, Anton Stefanek
- Theory and Application of Multi-Formalism Modeling
- 2013
- Scalable Stochastic Modelling for Resilience
![[PDF]](/images/icon-pdf-mini.png)
- Jeremy T. Bradley, Lucia Cloth, Richard Hayden, Leïla Kloul, Philipp Reinecke, Markus Siegle, Nigel Thomas, Katinka Wolter
- Resilience Assessment and Evaluation of Computing Systems
- June, 2012
- Product-Form Solution in PEPA via the Reversed Process
- Peter G. Harrison, Nigel Thomas
- Network Performance Engineering: A Handbook on Convergent Multi-Service Networks and Next Generation Internet
- June, 2011
- Modelling a Grid Market Economy
- Fernando Martinez Ortuno, Uli Harder, Peter G. Harrison
- Performance Models and Risk Management in Communication Systems
- 2010
- Performance Trees: A Query Specification Formalism for Quantitative Performance Analysis
![[Postscript]](/images/icon-ps-mini.png)
- William J. Knottenbelt, Nicholas J. Dingle, Tamas Suto
- Parallel, Distributed and Grid Computing for Engineering
- April, 2009
- Automated formulation and solution of Markov modulated queues with geometric processes
- David Thornley, Harf Zatschler, Peter G. Harrison, Demetres D. Kouvatsos (Ed.)
- Traffic and performance engineering for heterogeneous networks
- March, 2009
- Modelling tools and techniques for the performance analysis of wireless protocols
![[GZipped Postscript]](/images/icon-gzps-mini.png)
- Ashok Argent-Katwala, Jeremy T. Bradley, Nil Geisweiller, Stephen T. Gilmore, Nigel Thomas
- Advances in Wireless Networks: Performance Modelling, Analysis and Enhancement
- October, 2007
- Tackling Large State Spaces in Performance Modelling
- William J. Knottenbelt, Jeremy T. Bradley
- Formal Methods for Performance Evaluation
- June, 2007
- Response Time Densities and Quantiles in Large Markov and Semi-Markov Models
- Jeremy T. Bradley, Nicholas J. Dingle, Uli Harder, Peter G. Harrison, William J. Knottenbelt
- Performance Evaluation of Parallel, Distributed and Emergent Systems
- 2006
- Quantiles of Sojourn Times
- Peter G. Harrison, William J. Knottenbelt
- Computer System Performance Modeling in Perspective: A Tribute to the Work of Prof Kenneth C Sevcik
- September, 2006
- A Methodology for the Performance Modelling of Distributed Cache Coherent Multiprocessors
- A. J. Field, Peter G. Harrison
- The State-of-the-art in Performance Modeling and Simulation
- 1998
- A Fixed-Point Model of a Distributed Memory Consistency Protocol
- A. J. Field, Peter G. Harrison
- Quantitative Methods in Parallel Systems
- 1995
- M/G/1 Queues with FCFS Negative Arrivals
- Peter G. Harrison, E. Pitel
- Quantitative Methods in Parallel Systems
- 1995
- Temporal logic in a stochastic environment
- Ben Strulo, Dov Gabbay, Peter G. Harrison
- Time and logic: a computational approach
- 1995
- An Exercise in the Synthesis of Parallel Functional Programs for Message Passing Architectures
- A. J. Field
- Parallel Computing: From Theory to Sound Practice
- 1992
- The Design and Implementation of ALICE - a Parallel Graph Reduction Machine
- Martin Cripps, John Darlington, A. J. Field, Peter G. Harrison, Mike Reeve
- Selected Reprints on Dataflow and Reduction Architectures
- 1987
- The Unification of Functional and Logic Languages
- John Darlington, A. J. Field, Helen Pull
- Logic Programming: Functions, Relations and Equations, DeGroot D. and Lindstrom, G. eds.
- 1986
Information from pubs.doc.ic.ac.uk/books/.
