Revisiting interactive Markov Chains

Electronic Notes in Theoretical Computer Science

Volumn 68, Issue 5, 2003, Pages 65-84

  Bravetti, Mario ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; AUTOMATA THEORY; COMPUTER SIMULATION; CONCURRENCY CONTROL; MARKOV PROCESSES; PROBABILITY DISTRIBUTIONS; SEMANTICS; SYNCHRONIZATION; THEOREM PROVING;

BISIMULATION; CONCURRENT SYSTEMS; INTERACTIVE MARKOV CHAINS (IMC); PROCESS ALGEBRA;

COMPUTER SYSTEMS;

EID: 18944364631     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80520-6     Document Type: Conference Paper

References (19)

1. Aceto L. "On "Axiomatising Finite Concurrent Processes"" SIAM Journal on Computing. 23:(4):1994;852-863
2. M. Bernardo, "Theory and Application of Extended Markovian Process Algebra", Ph.D. Thesis, University of Bologna (Italy), 1999
3. M. Bravetti, "Specification and Analysis of Stochastic Real-Time Systems", Ph.D. Thesis, University of Bologna (Italy), 2002. Available at http://www.cs.unibo.it/~bravetti
4. M. Bravetti, M. Bernardo, R. Gorrieri, "A Note on the Congruence Proof for Recursion in Markovian Bisimulation Equivalence", in Proc. of the 6th Int. Workshop on Process Algebras and Performance Modeling (PAPM '98), C. Priami editor, pp. 153-164, Nice (France), September 1998
5. Bravetti M., Gorrieri R. "The Theory of Interactive Generalized Semi-Markov Processes" in Theoretical Computer Science. 282:2002;5-32
6. M. Bravetti, R. Gorrieri, "A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors", in Proc. of the 27th Int. Colloquium on Automata, Languages and Programming (ICALP 2000), U. Montanari, J.D.P. Rolim and E. Welzl ed., LNCS 1853: 744-755, Geneva (Switzerland), 2000
7. Cleaveland W.R., Luttgen G., Natarajan V. "Priority in Process Algebras" Handbook of Process Algebra. 2001;711-765 Elsevier
8. Hennessy M., Regan T. "A Process Algebra for Timed Systems" in Information and Computation. 117:(2):1995;221-239
9. H. Hermanns, "Interactive Markov Chains", Ph.D. Thesis, Universität Erlangen-Nürnberg (Germany), 1998
10. Hermanns H. "An Operator for Symmetry Representation and Exploitation in Stochastic Process Algebras" Proc. of the 5th Workshop on Process Algebras and Performance Modeling. 1997;55-70 Twente, The Netherlands
11. H. Hermanns, M. Lohrey, "Priority and Maximal Progress Are Completely Axiomatisable (Extended Abstract)", in Proc. of the 9th Int. Conf. on Concurrency Theory (CONCUR '98), LNCS 1466: 237-252, Nice (France), 1998
12. Hillston J. "A Compositional Approach to Performance Modelling," 1996;Cambridge University Press
13. Hoare C.A.R. "Communicating Sequential Processes," 1985;Prentice Hall
14. Milner R. "Communication and Concurrency," 1989;Prentice Hall
15. Milner R. "A Complete Inference System for a Class of Regular Behaviours" in Journal of Computer and System Sciences. 28:1984;439-466
16. Milner R. "A Complete Axiomatization for Observational Congruence of Finite-state Behaviours" in Information and Computation. 81:1989;227-247
17. Nicollin X., Sifakis J. "An Overview and Synthesis on Timed Process Algebras" Real-Time: Theory in Practice. LNCS 600 :1991
18. Priami C. "Stochastic φ-Calculus" in Computer Journal. 38:(6):1995;578-589
19. Stewart W.J. "Introduction to the Numerical Solution of Markov Chains," 1994;Princeton University Press