The following pages link to Refinement Calculus (Q4396958):
Displaying 18 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)
- Algebraic separation logic (Q549676) (← links)
- Normal forms in total correctness for while programs and action systems (Q549683) (← links)
- Imperative abstractions for functional actions (Q604455) (← links)
- An algebraic approach to the design of compilers for object-oriented languages (Q607399) (← links)
- A programming model for BSP with partitioned synchronisation (Q640293) (← 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)