The following pages link to (Q3792231):
Displayed 11 items.
- Deciding observational congruence of finite-state CCS expressions by rewriting (Q673974) (← links)
- On the consistency of Koomen's fair abstraction rule (Q1090103) (← links)
- Structured operational semantics and bisimulation as a congruence (Q1198952) (← links)
- A complete axiomatisation for observational congruence of finite-state behaviours (Q1263984) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Essential transitions to bisimulation equivalences (Q1391753) (← links)
- An axiomatic semantics for the synchronous language Gentzen. (Q1400575) (← links)
- Finite axiom systems for testing preorder and De Simone process languages (Q1575273) (← links)
- Logic of transition systems (Q1895974) (← links)
- Continuity controlled hybrid automata (Q2368692) (← links)
- An axiomatic semantics for Esterel (Q5958617) (← links)