| Title | Bisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Ferlez, James, Cleaveland Rance, and Marcus Steven I. |
| Conference Name | 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 |
