A Diagrammatic Algebra for Program Logics.

Filippo Bonchi, Alessandro Di Giorgio, Elena Di Lavore

Browse the full FOSSACS paper archive.