References in zbMATH (referenced in 20 articles , 1 standard article )

Showing results 1 to 20 of 20.
Sorted by year (citations)

  1. Balsamo, Simonetta; Dei Rossi, Gian-Luca; Marin, Andrea: Lumping and reversed processes in cooperating automata (2016)
  2. Tschaikowski, Max; Tribastone, Mirco: Tackling continuous state-space explosion in a Markovian process algebra (2014)
  3. Tschaikowski, Max; Tribastone, Mirco: Exact fluid lumpability in Markovian process algebra (2014)
  4. Balsamo, Simonetta; Marin, Andrea: Separable solutions for Markov processes in random environments (2013)
  5. Casale, Giuliano; Harrison, Peter G.: AutoCAT: automated product-form solution of stochastic models (2013)
  6. Balsamo, Simonetta; Dei Rossi, Gian-Luca; Marin, Andrea: Lumping and reversed processes in cooperating automata (2012)
  7. Marin, Andrea; Vigliotti, Maria Grazia: Algorithmic product-form approximations of interacting stochastic models (2012)
  8. Ding, Jie; Hillston, Jane: Structural analysis for stochastic process algebra models (2011)
  9. Hayden, Richard A.; Bradley, Jeremy T.: A fluid analysis framework for a Markovian process algebra (2010)
  10. Marin, Andrea; Vigliotti, Maria Grazia: On product-form approximations of cooperating stochastic models (2010)
  11. Knottenbelt, William J.; Bradley, Jeremy T.: Tackling large state spaces in performance modelling (2007)
  12. Merayo, Mercedes G.; Núñez, Manuel; Rodriguez, Ismael: Formal testing of systems presenting soft and hard deadlines (2007)
  13. Harrison, P.G.; Lee, T.T.: Separable equilibrium state probabilities via time reversal in Markovian process algebra (2005)
  14. López, Natalia; Núñez, Manuel: Weak stochastic bisimulation for non-Markovian processes (2005)
  15. Bravetti, Mario; D’Argenio, Pedro R.: Tutte le algebre insieme: Concepts, discussions and relations of stochastic process algebras with general distributions (2004)
  16. Harrison, Peter G.: Reversed processes, product forms and a non-product form (2004)
  17. López, Natalia; Núñez, Manuel; Rubio, Fernando: An integrated framework for the performance analysis of asynchronous communicating stochastic processes (2004)
  18. Harrison, Peter G.: Turning back time in Markovian process algebra. (2003)
  19. López, Natalia; Núñez, Manuel: A testing theory for generally distributed stochastic processes (extended abstract) (2001)
  20. Harrison, Peter G.; Strulo, Ben: SPADES -- a process algebra for discrete event simulation (2000)