TY  - RPRT
TI  - Refinement for Transition Systems with Responses
AU  - Marco Carbone
AU  - Thomas Hildebrandt
AU  - Gian Perrone
AU  - Andrzej Wąsowski
PY  - 2012
DO  - 10.4204/eptcs.87.5
UR  - https://arxiv.org/abs/1207.4270
ID  - 1207.4270
ER  -