Bisimulation for demonic schedulers

Cached

Download Links

by Konstantinos Chatzikokolakis , Gethin Norman , David Parker
Citations:9 - 1 self