%0 Conference Paper
%B Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics and 14th Workshop on Structural Operational Semantics, {EXPRESS/SOS} 2017, Berlin, Germany, 4th September 2017.
%D 2017
%G eng
%R 10.4204/EPTCS.255.3
%T Bisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees
%U https://doi.org/10.4204/EPTCS.255.3