Differential Bisimulation for a Markovian Process Algebra.

Giulio Iacobelli, Mirco Tribastone, Andrea Vandin

Browse the full MFCS paper archive.