AESOP home


Reversed Processes of Multiple Agent Cooperations

Peter G. Harrison, Ting Ting Lee

National Workshop Paper
19th UK Performance Engineering Workshop (UKPEW 2003), Warwick, July 9-10 2003
June, 2003

The Reversed Compound Agent Theorem (RCAT) is a compositional result that uses Markovian process algebra (MPA) to derive the reversed process of a cooperation between two agents. The equilibrium state probability distribution follows directly from a reversed process, resulting in a product-form solution for the joint state probabilities. This paper generalizes RCAT to multiple (more than two) cooperating agents. This greatly reduces the complexity of applying the original RCAT in multiple agent cooperations, removing the need for multiple applications and inductive proofs. The principle advantage is the potential of mechanically applying Multiple Agents RCAT to complicated networks, such as G-networks and BCMP networks, giving automated proofs of product-forms.

PDF of full publication (148.2 kilobytes)
(need help viewing PDF files?)

Information from