TY  - RPRT
TI  - Knowledge, Awareness, and Bisimulation
AU  - Hans van Ditmarsch
AU  - Tim French
AU  - Fernando R. Velazquez-Quesada
AU  - Yi N. Wang
PY  - 2013
UR  - https://arxiv.org/abs/1310.6410
ID  - 1310.6410
ER  -