@inproceedings{43,
  author = {James Ferlez and Rance Cleaveland and Steven Marcus},
  title = {Bisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees},
  year = {2017},
  journal = {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.},
  url = {https://doi.org/10.4204/EPTCS.255.3},
  doi = {10.4204/EPTCS.255.3},
  language = {eng},
}