TY - RPRT TI - Full abstraction for fair testing in CCS AU - Tom Hirschowitz PY - 2013 UR - https://arxiv.org/abs/1305.6184 ID - 1305.6184 ER -