The following pages link to (Q4005177):
Displaying 5 items.
- Deciding observational congruence of finite-state CCS expressions by rewriting (Q673974) (← links)
- A CCS-based investigation of deadlock in a multi-process electronic mail system (Q688829) (← links)
- Automatizing parametric reasoning on distributed concurrent systems (Q1346610) (← links)
- Extended transition systems for parametric bisimulation (Q4630292) (← links)
- Compositionality in state space verification methods (Q4633153) (← links)
