Bisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees

Author

Year of Publication

2017

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

DOI
Google Scholar
BibTeX
EndNote X3 XML
EndNote 7 XML
Endnote tagged
RIS