Separable equilibrium state probabilities via time reversal in Markovian process algebra

Theoretical Computer Science

Volumn 346, Issue 1, 2005, Pages 161-182

  Harrison, P G ^a   Lee, T T ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Agents; Markov chains; Process algebra; Stochastic models

Indexed keywords

MARKOV PROCESSES; MATHEMATICAL MODELS; RANDOM PROCESSES; THEOREM PROVING;

AGENT; PROCESS ALGEBRA; STOCHASTIC MODELS;

PROBABILISTIC LOGICS;

EID: 27744504651     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2005.08.007     Document Type: Conference Paper

References (12)

1. F. Baskett, K.M. Chandy, R.R. Muntz, and F. Palacios Open, closed and mixed networks of queues with different classes of customers J. ACM, 22 2 1975 248 260
2. M. Bernardo, and R. Gorrieri A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time Theoret. Comput. Sci. 202 1-2 1998 1 54
3. X. Chao, M. Miyazawa, and M. Pinedo Queueing Networks: Customers, Signals and Product Form Solutions 1999 Wiley New York
4. E. Gelenbe The first decade of G-networks European J. Oper. Res. 126 2 2000 231 232
5. W.J. Gordon, and G.F. Newell Closed queueing systems with exponential servers Oper. Res. 15 2 1967 254 265
6. N. Götz, U. Herzog, M. Rettelbach, Multiprocessor and distributed system design: the integration of functional specification and performance analysis using stochastic process algebras, Tutorial Proceedings of PERFORMANCE '93, Rome, Lecture Notes in Computer Science, Vol. 729, Springer, Berlin, 1993.
7. P.G. Harrison Turning back time in Markovian process algebra Theoret. Comput. Sci. 290 3 2003 1947 1986
8. P.G. Harrison, Compositional reversed Markov processes, with applications to G-networks, Performance Evaluation, 2004.
9. P.G. Harrison. Reversed processes, product forms and some non-product forms, J. Linear Algebra Appl. (2004).
10. J. Hillston, A compositional approach to performance modelling, Ph.D. Thesis, University of Edinburgh, 1994.
11. J.R. Jackson Jobshop-like queueing systems Management Sci. 10 1 1963 131 142
12. F.P. Kelly Reversibility and Stochastic Networks 1979 Wiley New York