TY  - RPRT
TI  - Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata
AU  - Sung-Shik T. Q. Jongmans
AU  - Farhad Arbab
PY  - 2011
DO  - 10.4204/eptcs.59.8
UR  - https://arxiv.org/abs/1108.0468
ID  - 1108.0468
ER  -