The following pages link to Refinement Calculus (Q4396958):
Displaying 13 items.
- Modelling and analysing neural networks using a hybrid process algebra (Q264526) (← links)
- Developments in concurrent Kleene algebra (Q299202) (← links)
- Generalised rely-guarantee concurrency: an algebraic foundation (Q333330) (← links)
- Multirelations with infinite computations (Q406449) (← links)
- Invariant diagrams with data refinement (Q432148) (← links)
- Compositional noninterference from first principles (Q432152) (← links)
- Connectors as designs: modeling, refinement and test case generation (Q433336) (← links)
- Formal communication elimination and sequentialization equivalence proofs for distributed system models (Q466919) (← links)
- Reasoning about orchestrations of web services using partial correctness (Q469344) (← links)
- An algebraic approach to multirelations and their properties (Q516032) (← links)
- Conditions of contracts for separating responsibilities in heterogeneous systems (Q1742989) (← links)
- Evolution of rule-based programs (Q1878711) (← links)
- Automated verification of reactive and concurrent programs by calculation (Q2043817) (← links)