• 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 ofExpand
  • 130
  • 20
Parallel Programming Using Skeleton Functions
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 currentExpand
  • 327
  • 12
Performance modelling of communication networks and computer architectures
(Each chapter concludes with Exercises.) Preface. 1. Essentials of Probability Theory. Sample space, events and probability. Conditional probability. Independence. 2. Random Variables andExpand
  • 263
  • 12
Functional Programming
Functional programming is a programming paradigm that treats computation as the evaluation of mathematical functions. In contrast to procedural / imperative programming, functional programmingExpand
  • 274
  • 12
Stochastic Process Algebra for Discrete Event Simulation
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 aExpand
  • 55
  • 8
Performance evaluation of an enterprise JavaBean server implementation
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 commercialExpand
  • 28
  • 7
The M / G /1 queue with negative customers
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 streamsExpand
  • 73
  • 5
SOJOURN TIMES IN SINGLE-SERVER QUEUES WITH NEGATIVE CUSTOMERS
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, positiveExpand
  • 60
  • 5
LEAD SULPHIDE AND TRADITIONAL PREPARATIONS: ROUTES FOR INGESTION, AND SOLUBILITY AND REACTIONS IN GASTRIC FLUID
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 asExpand
  • 40
  • 4
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 inExpand
  • 68
  • 4