The following pages link to (Q3343420):
Displayed 5 items.
- A fair calculus of communicating systems (Q793508) (← links)
- An operational semantics of occam (Q914399) (← links)
- Pict correctness revisited (Q1004056) (← links)
- Deadlock and fairness in morphisms of transition systems (Q1105379) (← links)
- Fairness and regularity for SCCS processes (Q3816967) (← links)