A passage-time preserving equivalence for semi-Markov Processes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2324 LNCS, Issue , 2002, Pages 178-187

  Bradley, J T ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

PASSAGE TIME; PASSAGE TIME DISTRIBUTIONS; SEMI MARKOV PROCESS; STATE BASED;

MARKOV PROCESSES;

EID: 78751646420     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46029-2_11     Document Type: Conference Paper

References (8)

1. J. G. Kemeny and J. L. Snell, Finite Markov Chains. Van Nostrand, 1960.
2. H. Hermanns and M. Rettelbach, "Syntax, semantics, equivalences, and axioms for MTIPP," in Process Algebra and Performance Modelling Workshop (U. Herzog and M. Rettelbach, eds.), pp. 69-88, Arbeitsberichte des IMMD, Universtät Erlangen-Nürnberg, Regensberg, July 1994.
3. J. Hillston, A Compositional Approach to Performance Modelling, Vol. 12 of Distinguished Dissertations in Computer Science. Cambridge University Press, 1996. ISBN 0 521 57189 8.
4. H. Hermanns, Interactive Markov Chains. PhD thesis, Universität Erlangen-Nürnberg, July 1998.
5. M. Bernardo and R. Gorrieri, "Extended Markovian Process Algebra," in CON-CUR'96, Proceedings of the 7th International Conference on Concurrency Theory (U. Montanari and V. Sassone, eds.), Vol. 1119 of Lecture Notes in Computer Science, pp. 315-330, Springer-Verlag, Pisa, August 1996.
6. R. Pyke, "Markov renewal processes with finitely many states," Annals of Mathematical Statistics, Vol. 32, pp. 1243-1259, December 1961.
7. J. T. Bradley and N. J. Davies, "A matrix-based method for analysing stochastic process algebras," in ICALP Workshops 2000, Process Algebra and Performance Modelling Workshop (J. D. P. Rolim, ed.), pp. 579-590, University of Waterloo, Ontario, Canada, Carleton Scientific, Geneva, July 2000.
8. J. Abate and W. Whitt, "The Fourier-series method for inverting transforms of probability distributions," Queueing Systems, Vol. 10, no. 1, pp. 5-88, 1992.