TY  - RPRT
TI  - Bisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees
AU  - James Ferlez
AU  - Rance Cleaveland
AU  - Steve Marcus
PY  - 2017
DO  - 10.4204/eptcs.255.3
UR  - https://arxiv.org/abs/1709.00827
ID  - 1709.00827
ER  -