Browsing Università Ca' Foscari Venezia by Author "Cavallin, Filippo <1988>"

DSpace/Manakin Repository

Browsing Università Ca' Foscari Venezia by Author "Cavallin, Filippo <1988>"

Sort by: Order: Results:

  • Encoding G-Networks into the Stochastic Process Algebra PEPA 
    Cavallin, Filippo <1988> (Università Ca' Foscari Venezia, 2014-03-11)
    In my thesis I study models of G-Networks, encoding them into the Stochastic Process Algebra PEPA. Up to now there was the general belief that G-Networks could not be caught by a traditional stochastic process algebra and ...
  • Product-forms beyond quasi-reversibility 
    Cavallin, Filippo <1988> (Università Ca' Foscari Venezia, 2018-07-10)
    Assessing the performance and reliability of computer and telecommunication systems requires the development of stochastic models whose state space are very large. This problem is often known as "State Space Explosion". As ...