Congruence for SOS with Data.

Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote

Browse the full LICS paper archive.