Epistemic Strategies and Games on Concurrent Processes.

Konstantinos Chatzikokolakis, Sophia Knight, Prakash Panangaden

Browse the full SOFSEM paper archive.