The following pages link to (Q3795197):
Displaying 7 items.
- Bisimulation and divergence (Q750163) (← links)
- Partial specifications and compositional verification (Q1177172) (← links)
- Compositional minimisation of finite state systems using interface specifications (Q1816922) (← links)
- A compositional proof system on a category of labelled transition systems (Q2640340) (← links)
- (Q4703884) (← links)
- (Q4941913) (← links)
- Generating diagnostic information for behavioral preorders (Q5137006) (← links)