The following pages link to (Q3794154):
Displayed 5 items.
- Rule formats for determinism and idempotence (Q433348) (← links)
- Graphical versus logical specifications (Q685358) (← links)
- A logical view of composition (Q685416) (← links)
- Conjunction on processes: Full abstraction via ready-tree semantics (Q875513) (← links)
- Fairness and regularity for SCCS processes (Q3816967) (← links)