Probabilistic Bisimulation for Realistic Schedulers.

Christian Eisentraut, Jens Chr. Godskesen, Holger Hermanns, Lei Song, Lijun Zhang

Browse the full FM paper archive.