Characterising Probabilistic Alternating Simulation for Concurrent Games.

Chenyi Zhang, Jun Pang

Browse the full TASE paper archive.