A UTP Semantics of pGCL as a Homogeneous Relation.

Riccardo Bresciani, Andrew Butterfield

Browse the full IFM paper archive.