No pages link to Publications:Notions of bisimulation and congruence formats for SOS with data.
Home
Research
Education
Partners
People
Contact