Bisimulation for Demonic Schedulers.

Konstantinos Chatzikokolakis, Gethin Norman, David Parker

Browse the full FOSSACS paper archive.