Author pages are created from data sourced from our academic publisher partnerships and public sources.

- Publications
- Influence

Turning back time in Markovian process algebra

- P. Harrison
- Computer Science, Mathematics
- Theor. Comput. Sci.
- 3 January 2003

Product-form solutions in Markovian process algebra (MPA) are constructed using properties of reversed processes. The compositionality of MPAs is directly exploited, allowing a large class of… Expand

Parallel Programming Using Skeleton Functions

- J. Darlington, T. Field, P. Harrison, P. H. Kelly, D. N. Sharp, Q. Wu
- Computer Science
- PARLE
- 14 June 1993

Programming parallel machines is notoriously difficult. Factors contributing to this difficulty include the complexity of concurrency, the effect of resource allocation on performance and the current… Expand

Performance modelling of communication networks and computer architectures

- P. Harrison, N. Patel
- Computer Science
- International computer science series
- 1 December 1992

(Each chapter concludes with Exercises.) Preface. 1. Essentials of Probability Theory. Sample space, events and probability. Conditional probability. Independence. 2. Random Variables and… Expand

Functional Programming

- T. Field, P. Harrison
- Computer Science
- 1 July 1988

Functional programming is a programming paradigm that treats computation as the evaluation of mathematical functions. In contrast to procedural / imperative programming, functional programming… Expand

Stochastic Process Algebra for Discrete Event Simulation

- P. Harrison, B. Strulo
- Mathematics
- 1995

A stochastic, timed process algebra is developed to describe formally discrete event simulation. It is able to describe the passing of time and probabilistic choice, either discrete, between a… Expand

Performance evaluation of an enterprise JavaBean server implementation

- C. Lladó, P. Harrison
- Computer Science
- WOSP '00
- 1 September 2000

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial… Expand

The M / G /1 queue with negative customers

- P. Harrison, E. Pitel
- Mathematics
- 1 June 1996

We derive expressions for the generating function of the equilibrium queue length probability distribution in a single server queue with general service times and independent Poisson arrival streams… Expand

SOJOURN TIMES IN SINGLE-SERVER QUEUES WITH NEGATIVE CUSTOMERS

- P. Harrison, E. Pitel
- Mathematics
- 1 December 1993

We derive expressions for the Laplace transform of the sojourn time density in a single-server queue with exponential service times and independent Poisson arrival streams of both ordinary, positive… Expand

LEAD SULPHIDE AND TRADITIONAL PREPARATIONS: ROUTES FOR INGESTION, AND SOLUBILITY AND REACTIONS IN GASTRIC FLUID

- M. Healy, P. Harrison, M. Aslam, S. Davis, C. Wilson
- Medicine, Chemistry
- Journal of clinical and hospital pharmacy
- 1 June 1982

Lead sulphide frequently occurs as a fallacious materia medica in traditional preparations used throughout the Moslem world. Although one of the least soluble lead compounds, use of this material as… Expand

Compositional reversed Markov processes, with applications to G-networks

- P. Harrison
- Computer Science
- Perform. Evaluation
- 1 July 2004

Stochastic networks defined by a collection of cooperating agents are solved for their equilibrium state probability distribution by a new compositional method. The agents are processes formalised in… Expand