menu

Return to entry

Refinement_Lattice
Sequential
Parallel
Conjunction
CRA
Galois_Connections
Iteration
Conjunctive_Sequential
Infimum_Nat
Conjunctive_Iteration
Rely_Quotient

Concurrent_Ref_Alg.Rely_Quotient

HTML Presentation