Process algebraic non-product-forms
File(s)separable-pasm.pdf (202.26 KB)
Accepted version
Author(s)
Harrison, P
Type
Conference Paper
Abstract
A generalization of the Reversed Compound Agent Theorem of Markovian process algebra is derived that yields separable, but non-product-form solutions for collections of interacting processes such as arise in multi-class queueing networks with Processor Sharing servers. It is based on an analysis of the minimal cycles in the state space of a multi-agent cooperation, which can be simply identified. The extended methodology leads to what we believe are new separable solutions and, more generally, the results represent a viable practical application of the theory of Markovian process algebras in stochastic modelling.\r\n
Date Issued
2006-06
Citation
Electronic Notes in Theoretical Computer Science, 2006, 3, 151 (3), pp.61-76
ISSN
1571-0661
Publisher
Elsevier
Source Title
Practical Aspects of Stochastic Modelling (PASM 05)
Conference
Electronic Notes in Theoretical Computer Science
Start Page
61
End Page
76
Journal / Book Title
Electronic Notes in Theoretical Computer Science
Volume
151
Issue
3
Copyright Statement
© 2006 Published by Elsevier B.V. NOTICE: this is the author’s version of a work that was accepted for publication in Electronic Notes in Theoretical Science. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in ELECTRONIC NOTES IN THEORETICAL SCIENCE, VOL:151, ISSUE:3, (2006) DOI:10.1016/j.entcs.2006.03.012
Identifier
http://pubs.doc.ic.ac.uk/separable-pasm
Source Place
Newcastle, UK
Edition
3
Coverage Spatial
Newcastle, UK