Exact fluid lumpability for Markovian process algebra

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

Volumn 7454 LNCS, Issue , 2012, Pages 380-394

  Tschaikowski, Max ^a   Tribastone, Mirco ^a  

^a UNIVERSITY OF MUNICH   (Germany)

Author keywords

equivalence relations; ordinary differential equations; Stochastic process algebra

Indexed keywords

EQUIVALENCE RELATIONS; FLUID MODELS; LUMPABILITY; MARKOVIAN; MARKOVIAN PROCESS ALGEBRAS; PROCESS ALGEBRAS; STOCHASTIC PROCESS ALGEBRAS; SYSTEM OF ORDINARY DIFFERENTIAL EQUATIONS; TRANSITION SYSTEM;

ALGEBRA; EQUIVALENCE CLASSES; MODEL CHECKING; RANDOM PROCESSES; SEMANTICS; SET THEORY;

ORDINARY DIFFERENTIAL EQUATIONS;

EID: 84866688251     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-32940-1_27     Document Type: Conference Paper

References (13)

1. Aoki, M.: Control of large-scale dynamic systems by aggregation. IEEE Trans. Autom. Control 13(3), 246-253 (1968)
2. Bernardo, M., Gorrieri, R.: A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time. Theor. Comput. Sci. 202(1-2), 1-54 (1998)
3. Bortolussi, L., Policriti, A.: Dynamical systems and stochastic programming: To ordinary differential equations and back. T. Comp. Sys. Biology 11, 216-267 (2009)
4. Buchholz, P.: Exact and ordinary lumpability in finite Markov chains. J. Applied Probability 31, 59-74 (1994)
5. Cardelli, L.: On process rate semantics. Theor. Comput. Sci. 391, 190-215 (2008)
6. Hayden, R.: Scalable performance analysis of massively parallel stochastic systems. Ph.D. thesis, Imperial College London (2011)
7. Hayden, R.A., Bradley, J.T.: A fluid analysis framework for a Markovian process algebra. Theor. Comput. Sci. 411(22-24), 2260-2297 (2010)
8. Hermanns, H., Rettelbach, M.: Syntax, semantics, equivalences, and axioms for MTIPP. In: Proceedings of Process Algebra and Probabilistic Methods, Erlangen, pp. 71-87 (1994)
9. Hillston, J.: Fluid flow approximation of PEPA models. In: Proceedings of Quantitative Evaluation of Systems, pp. 33-43. IEEE Computer Society Press (2005)
10. Hillston, J.: A compositional approach to performance modelling. Cambridge University Press, New York (1996)
11. Ijiri, Y.: Fundamental queries in aggregation theory. Journal of the American Statistical Association 66(336), 766-782 (1971)
12. Iwase, Y., Levin, S.A., Andreasen, V.: Aggregation in model ecosystems I: perfect aggregation. Ecological Modelling 37 (1987)
13. Kwiatkowski, M., Stark, I.: The Continuous π-Calculus: A Process Algebra for Biochemical Modelling. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), vol. 5307, pp. 103-122. Springer, Heidelberg (2008)