@Inproceedings{EPTCS46.1, author = {Bauer, Sebastian S. and Hennicker, Rolf and Janisch, Stephan}, year = {2011}, title = {Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems}, editor = {Legay, Axel and Caillaud, Beno\^it}, booktitle = {{\rm Proceedings} Foundations for Interface Technologies, {\rm Paris, France, 30th August 2010}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {46}, publisher = {Open Publishing Association}, pages = {1-8}, doi = {10.4204/EPTCS.46.1}, }