@Inproceedings{EPTCS87.5, author = {Carbone, Marco and Hildebrandt, Thomas and Perrone, Gian and W\k{a}sowski, Andrzej}, year = {2012}, title = {Refinement for Transition Systems with Responses}, editor = {Bauer, Sebastian and Raclet, Jean-Baptiste}, booktitle = {{\rm Proceedings Fourth Workshop on} Foundations of Interface Technologies, {\rm Tallinn, Estonia, 25th March 2012}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {87}, publisher = {Open Publishing Association}, pages = {48-55}, doi = {10.4204/EPTCS.87.5}, }