Logics and Bisimulation Games for Concurrency, Causality and Conflict.

Julian Gutierrez

Browse the full FOSSACS paper archive.