Pages that link to "Item:Q1055190"
From MaRDI portal
The following pages link to Axiomatising finite delay operators (Q1055190):
Displaying 8 items.
- Modal logics for communicating systems (Q578896) (← links)
- A fair calculus of communicating systems (Q793508) (← links)
- On the consistency of Koomen's fair abstraction rule (Q1090103) (← links)
- A fixpoint approach to finite delay and fairness (Q1129259) (← links)
- Semantics for finite delay (Q1392281) (← links)
- Weak and strong fairness in CCS (Q1822489) (← links)
- Fairness and regularity for SCCS processes (Q3816967) (← links)
- Non-regular iterators in process algebra (Q5958616) (← links)
