@inproceedings{vanGlabbeek_17_2, address = {Reykjavik, Iceland}, author = {van Glabbeek, Robert}, booktitle = {Proceedings of the 32nd Annual IEEE Symposium on Logic in Computer Science}, date = {2017-8-18}, doi = {https://doi.org/10.1109/LICS.2017.8005142}, keywords = {Structural Operational Semantics Congruence formats Recursion Bisimulation}, month = aug, numpages = {11 p.}, paperurl = {https://trustworthy.systems/publications/full_text/vanGlabbeek_17_2.pdf}, publisher = {ACM/IEEE}, title = {Lean and Full Congruence Formats for Recursion}, year = {2017} }