The following pages link to Ralph-Johan Back (Q204599):
Displaying 48 items.
- Invariant diagrams with data refinement (Q432148) (← links)
- Verification and code generation for invariant diagrams in Isabelle (Q478381) (← links)
- Structured derivations: a unified proof style for teaching mathematics (Q607406) (← links)
- (Q918202) (redirect page) (← links)
- Stepwise refinement of parallel algorithms (Q918204) (← links)
- Invariant based programming: Basic approach and teaching experiences (Q1019025) (← links)
- On the suitability of trace semantics for modular proofs of communicating processes (Q1060004) (← links)
- A calculus of refinements for program derivations (Q1111362) (← links)
- Financial statement planning in the presence of tax constraints (Q1127240) (← links)
- Proving total correctness of nondeterministic programs in infinitary logic (Q1155605) (← links)
- On correct refinement of programs (Q1157144) (← links)
- A continuous semantics for unbounded nondeterminism (Q1171370) (← links)
- On equivalence-completions of fairness assumptions (Q1205189) (← links)
- (Q1267031) (redirect page) (← links)
- Structured calculational proof (Q1267033) (← links)
- (Q1386405) (redirect page) (← links)
- Refinement of fair action systems (Q1386406) (← links)
- Class refinement as semantics of correct object substitutability (Q1586166) (← links)
- Contracts, games, and refinement. (Q1854322) (← links)
- Superposition refinement of reactive systems (Q1918935) (← links)
- An algebraic treatment of procedure refinement to support mechanical verification (Q2576574) (← links)
- Continuous action systems as a model for hybrid systems (Q2743704) (← links)
- (Q2766651) (← links)
- Data Refinement of Invariant Based Programs (Q2994494) (← links)
- (Q3316560) (← links)
- (Q3485859) (← links)
- Computational Heuristics for Simplifying a Biological Model (Q3576072) (← links)
- A semantic approach to program modularity (Q3719785) (← links)
- (Q3795196) (← links)
- Distributed cooperation with action systems (Q3814785) (← links)
- (Q3851581) (← links)
- (Q3860820) (← links)
- (Q3868726) (← links)
- (Q3871898) (← links)
- (Q3877023) (← links)
- (Q3878739) (← links)
- (Q3888507) (← links)
- (Q3888508) (← links)
- (Q3898009) (← links)
- (Q3942373) (← links)
- (Q4028640) (← links)
- (Q4222910) (← links)
- Refinement Calculus (Q4396958) (← links)
- (Q4412468) (← links)
- (Q4472181) (← links)
- (Q4493906) (← links)
- Construction of large‐size interconnection networks with high performance (Q5289383) (← links)
- Encoding, decoding and data refinement (Q5944217) (← links)
