Pages that link to "Item:Q1391789"
From MaRDI portal
The following pages link to Notes on the methodology of CCS and CSP (Q1391789):
Displaying 8 items.
- CSP is a retract of CCS (Q960852) (← links)
- Ready to preorder: the case of weak process semantics (Q975539) (← links)
- CCS with priority choice (Q1346713) (← links)
- CSP-CASL -- a new integration of process algebra and algebraic specification (Q2368940) (← links)
- A ground-complete axiomatisation of finite-state processes in a generic process algebra (Q3545273) (← links)
- On Finite Bases for Weak Semantics: Failures Versus Impossible Futures (Q3599070) (← links)
- A Generic Process Algebra (Q5262952) (← links)
- Why ever CSP? (Q5262968) (← links)