TY - RPRT TI - Analysing and Comparing Encodability Criteria AU - Kirstin Peters AU - Rob van Glabbeek PY - 2015 DO - 10.4204/eptcs.190.4 UR - https://arxiv.org/abs/1508.06711 ID - 1508.06711 ER -