The following pages link to (Q3148335):
Displaying 4 items.
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- The cones and foci proof technique for timed transition systems (Q1607115) (← links)
- On the expressiveness of choice quantification (Q1874242) (← links)
- Notions of bisimulation and congruence formats for SOS with data (Q2486401) (← links)