A Spectrum of Approximate Probabilistic Bisimulations.

Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann

Browse the full CONCUR paper archive.