The following pages link to (Q3148335):
Displaying 5 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)
- Perspectives of System Informatics (Q5902411) (← links)