@Inproceedings{EPTCS322.2, author = {Luttik, Bas}, year = {2020}, title = {Divergence-Preserving Branching Bisimilarity}, editor = {Dardha, Ornela and Rot, Jurriaan}, booktitle = {{\rm Proceedings Combined 27th International Workshop on} Expressiveness in Concurrency {\rm and 17th Workshop on} Structural Operational Semantics, {\rm Online, 31 August 2020}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {322}, publisher = {Open Publishing Association}, pages = {3-11}, doi = {10.4204/EPTCS.322.2}, }