A Relation-Algebraic Approach to Multirelations and Predicate Transformers.

Rudolf Berghammer, Walter Guttmann

Browse the full MPC paper archive.