Pages that link to "Item:Q3975027"
From MaRDI portal
The following pages link to The soundness and completeness of axioms for CSP processes (Q3975027):
Displaying 8 items.
- The fixed point theory of unbounded non-determinism (Q751807) (← links)
- A sound and complete axiomatization of embedded cross dependencies (Q759482) (← links)
- Revivals, stuckness and the hierarchy of CSP models (Q1007236) (← links)
- The timed failures -- Stability model for CSP (Q1274446) (← links)
- Structured CSP – A Process Algebra as an Institution (Q3591065) (← links)
- Classifying unbounded nondeterminism in CSP (Q3975028) (← links)
- Quantales, observational logic and process semantics (Q4279244) (← links)
- Unbounded nondeterminism in CSP (Q5887514) (← links)