References

  1. Franck van Breugel & James Worrell (2001): Towards Quantitative Verification of Probabilistic Transition Systems. In: ICALP, LNCS 2076. Springer, pp. 421–432, doi:10.1007/3-540-48224-5_35.
  2. Peter Buchholz (1994): Exact and Ordinary Lumpability in Finite Markov Chains. Journal of Applied Probability 31(1), pp. 59–75, doi:10.2307/3215235.
  3. Peter Buchholz (1994): Markovian Process Algebra: Composition and Equivalence. In: Proc. 2nd PAPM Workshop, Erlangen, Germany.
  4. Luca Cardelli (2008): On process rate semantics. Theor. Comput. Sci. 391, pp. 190–215, doi:10.1016/j.tcs.2007.11.012.
  5. Federica Ciocchetta & Jane Hillston (2009): Bio-PEPA: A framework for the modelling and analysis of biological systems. Theor. Comput. Sci. 410(33–34), pp. 3065–3084, doi:10.1016/j.tcs.2009.02.037.
  6. Vincent Danos, Jerome Feret, Walter Fontana, Russell Harmer & Jean Krivine (2010): Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction. In: LICS, pp. 362–381. Available at http://doi.ieeecomputersociety.org/10.1109/LICS.2010.44.
  7. Vincent Danos & Cosimo Laneve (2004): Formal molecular biology. Theoretical Computer Science 325(1), pp. 69–110, doi:10.1016/j.tcs.2004.03.065.
  8. Josee Desharnais, Radha Jagadeesan, Vineet Gupta & Prakash Panangaden (2002): The metric analogue of weak bisimulation for probabilistic processes. In: LICS, pp. 413–422, doi:10.1109/LICS.2002.1029849.
  9. Alessandra Di Pierro, Chris Hankin & Herbert Wiklicky (2003): Quantitative Relations and Approximate Process Equivalences. In: CONCUR, pp. 498–512. Available at http://dx.doi.org/10.1007/978-3-540-45187-7_33.
  10. James R. Faeder, Michael L. Blinov & William S. Hlavacek (2009): Rule-Based Modeling of Biochemical Systems with BioNetGen. Methods Mol. Biol. 500, pp. 113–167, doi:10.1007/978-1-59745-525-1_5.
  11. S. Gilmore, J. Hillston & M. Ribaudo (2001): An efficient algorithm for aggregating PEPA models. IEEE Transactions on Software Engineering 27(5), pp. 449–464, doi:10.1109/32.922715.
  12. Richard A. Hayden, Anton Stefanek & Jeremy T. Bradley (2012): Fluid computation of passage-time distributions in large Markov models. Theor. Comput. Sci. 413(1), pp. 106–141, doi:10.1016/j.tcs.2011.07.017.
  13. Holger Hermanns & Marina Ribaudo (1998): Exploiting Symmetries in Stochastic Process Algebras. In: European Simulation Multiconference, Manchester, UK, pp. 763–770.
  14. J. Hillston (2005): Fluid flow approximation of PEPA models. In: Proceedings of Quantitative Evaluation of Systems. IEEE Computer Society Press, pp. 33–43, doi:10.1109/QEST.2005.12.
  15. Jane Hillston (1996): A compositional approach to performance modelling. Cambridge University Press, New York, NY, USA, doi:10.1017/CBO9780511569951.
  16. Giulio Iacobelli & Mirco Tribastone (2013): Lumpability of fluid models with heterogeneous agent types. In: DSN, pp. 1–11, doi:10.1109/DSN.2013.6575346.
  17. Chi-Chang Jou & Scott Smolka (1990): Equivalences, congruences, and complete axiomatizations for probabilistic processes. In: CONCUR, LNCS 458, pp. 367–383, doi:10.1007/BFb0039071.
  18. Ovidiu Radulescu, Alexander N. Gorban, Andrei Zinovyev & Vincent Noel (2012): Reduction of dynamical biochemical reactions networks in computational biology. Frontiers in Genetics 3(131), doi:10.3389/fgene.2012.00131.
  19. Mirco Tribastone, Stephen Gilmore & Jane Hillston (2012): Scalable Differential Analysis of Process Algebra Models. IEEE Transactions on Software Engineering 38(1), pp. 205–219. Available at http://doi.ieeecomputersociety.org/10.1109/TSE.2010.82.
  20. Max Tschaikowski & Mirco Tribastone (2012): Exact fluid lumpability for Markovian process algebra. In: CONCUR, LNCS 7545, pp. 380–394, doi:10.1007/978-3-642-32940-1_27. Available at http://www.pst.ifi.lmu.de/Personen/team/tschaikowski/concur12_techreport.pdf.
  21. Max Tschaikowski & Mirco Tribastone (2013): Exact fluid lumpability in Markovian process algebra. Theoretical Computer Science, doi:10.1016/j.tcs.2013.07.029. Available at http://www.sciencedirect.com/science/article/pii/S0304397513005598.
  22. Max Tschaikowski & Mirco Tribastone (2013): Tackling continuous state-space explosion in a Markovian process algebra. Theoretical Computer Science, doi:10.1016/j.tcs.2013.08.016. Available at http://www.sciencedirect.com/science/article/pii/S0304397513006403.
  23. Pu Wang, Marta C. González, César A. Hidalgo & Albert-László Barabási (2009): Understanding the Spreading Patterns of Mobile Phone Viruses. Science 324(5930), pp. 1071–1076, doi:10.1126/science.1167053.
  24. Raymond Keith Watson (1972): On an Epidemic in a Stratified Population. Journal of Applied Probability 9(3), pp. 659–666, doi:10.2307/3212334.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org