Title Notions of bisimulation and congruence formats for SOS with data

From CERES
Jump to: navigation, search
A list of all pages that have property "Title" with value "Notions of bisimulation and congruence formats for SOS with data"

 

Property:     Value:
Retrieved from "https://wiki.hh.se/ceres/index.php/Special:SearchByProperty/Title/Notions-20of-20bisimulation-20and-20congruence-20formats-20for-20SOS-20with-20data"