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 ...