On the Continuity of the Probabilistic Bisimilarity Distance.
Syyeda Zainab Fatmi, Stefan Kiefer, David Parker, Franck van Breugel
Browse the full CONCUR paper archive.
Syyeda Zainab Fatmi, Stefan Kiefer, David Parker, Franck van Breugel
Browse the full CONCUR paper archive.