TY  - RPRT
TI  - Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems
AU  - Sebastian S. Bauer
AU  - Rolf Hennicker
AU  - Stephan Janisch
PY  - 2011
DO  - 10.4204/eptcs.46.1
UR  - https://arxiv.org/abs/1101.4731
ID  - 1101.4731
ER  -