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â€¦ (More)

Programming parallel machines is notoriously diicult. Factors contributing to this diiculty include the complexity of concurrency, the eeect of resource allocation on performance and the currentâ€¦ (More)

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â€¦ (More)

The Reversed Compound Agent Theorem (RCAT) is a compositional result that uses Markovian process algebra (MPA) to derive the reversed process of certain interactions between two continuous timeâ€¦ (More)

Probability distributions of response times are important in the design and analysis of transaction processing systems and computer-communication systems. We present a general technique for derivingâ€¦ (More)

We present a process algebra, SPADES, based on Milnerâ€™s CCS, which may be used to describe discrete event simulations with parallelism. It is able to describe the passing of time and probabilisticâ€¦ (More)

The equilibrium joint state probabilities of interacting Markov processes are obtained in a hierarchical way, by finding the reversed process of the interaction in terms of the reversed processes ofâ€¦ (More)