@inproceedings{0650c3c771974f3fb80ae0c8304f4b5c,
title = "A congruence theorem for structured operational semantics with predicates",
author = "J.C.M. Baeten and C. Verhoef",
year = "1993",
doi = "10.1007/3-540-57208-2_33",
language = "English",
isbn = "3-540-57208-2",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "477--492",
editor = "E. Best",
booktitle = "CONCUR'93 (Proceedings 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993)",
address = "Germany",
}