Causality vs. Interleavings in Concurrent Game Semantics.

Simon Castellan, Pierre Clairambault

Browse the full CONCUR paper archive.