A fluid analysis framework for a Markovian process algebra

This publication has 23 references indexed in Scilit:

• Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models
  Journal of Computer and System Sciences, 2008
• Turning back time in Markovian process algebra
  Theoretical Computer Science, 2003
• An efficient algorithm for aggregating PEPA models
  IEEE Transactions on Software Engineering, 2001
• Product form solution for a class of PEPA models
  Performance Evaluation, 1999
• Hierarchical Markovian models: symmetries and reduction
  Performance Evaluation, 1995
• Stochastic -Calculus
  The Computer Journal, 1995
• A characterization of independence for competing Markov chains with applications to stochastic Petri nets
  IEEE Transactions on Software Engineering, 1994
• Exact and ordinary lumpability in finite Markov chains
  Journal of Applied Probability, 1994
• Communicating sequential processes
  Communications of the ACM, 1978
• Exact stochastic simulation of coupled chemical reactions
  The Journal of Physical Chemistry, 1977