TY  - RPRT
TI  - World Automata: a compositional approach to model implicit communication in hierarchical Hybrid Systems
AU  - Marta Capiluppi
AU  - Roberto Segala
PY  - 2013
DO  - 10.4204/eptcs.124.7
UR  - https://arxiv.org/abs/1308.5335
ID  - 1308.5335
ER  -