Bisimulation

Equivalences on Phase Type Processes
In this thesis, we introduce Phase Type Processes (PTPs), a novel stochastic modeling approach that can express probabilistic and …