TY - RPRT TI - Bigraphical Refinement AU - Gian Perrone AU - Søren Debois AU - Thomas Hildebrandt PY - 2011 DO - 10.4204/eptcs.55.2 UR - https://arxiv.org/abs/1106.4091 ID - 1106.4091 ER -