-
Innocent strategies as presheaves and interactive equivalences for CCS (expan...
53 pages. Expanded version of ICE '11 paper DOI 10.4204/EPTCS.59.2 . -
Full abstraction for fair testing in CCS
20 pages. -
Timeless Games.
This dataset has no description
-
Believe it or not, AJM's Games Model is a Model of Classical Linear Logic.
This dataset has no description
-
A game semantics for disjunctive logic programming
International audience -
Symmetry in Concurrent Games
International audience
