TY - RPRT TI - A State-Based Characterisation of the Conflict Preorder AU - Simon Ware AU - Robi Malik PY - 2011 DO - 10.4204/eptcs.58.3 UR - https://arxiv.org/abs/1108.0230 ID - 1108.0230 ER -