TY - CPAPER
AU - James Ferlez
AU - Rance Cleaveland
AU - Steven Marcus
BT - 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.
DO - 10.4204/EPTCS.255.3
LA - eng
PY - 2017
T2 - 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.
TI - Bisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees
UR - https://doi.org/10.4204/EPTCS.255.3
ER -