-
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. -
Displacement Games as a model of linear logic
Rapport interne.
