Full abstraction for fair testing in CCS (expanded version)

Tom Hirschowitz

In previous work with Pous, we defined a semantics for CCS which may both be viewed as an innocent form of presheaf semantics and as a concurrent form of game semantics. We define…