The following pages link to (Q4746776):
Displayed 9 items.
- Fixed point equations with parameters in the projective model (Q580971) (← links)
- Computable concurrent processes (Q673972) (← links)
- A complete inference system for a class of regular behaviours (Q1057072) (← links)
- Transition systems, metric spaces and ready sets in the semantics of uniform concurrency (Q1107303) (← links)
- Algebraic and fixed point equations over inverse limits of algebras (Q1177146) (← links)
- The contraction principle as a particular case of Kleene's fixed point theorem (Q1185093) (← links)
- Enriched categorical semantics for distributed calculi (Q1208210) (← links)
- Notes on the methodology of CCS and CSP (Q1391789) (← links)
- A brief history of process algebra (Q1781995) (← links)