The following pages link to Final universes of processes (Q5890039):
Displaying 6 items.
- A fixpoint approach to finite delay and fairness (Q1129259) (← links)
- Semantics for finite delay (Q1392281) (← links)
- Universal coalgebra: A theory of systems (Q1583483) (← links)
- An exercise on transition systems (Q2873687) (← links)
- Process Calculi à la Bird-Meertens (Q4917032) (← links)
- Processes and hyperuniverses (Q5096893) (← links)