Demonic diagrams - towards a graphical refinement calculus

Wolfram Kahl. Demonic diagrams - towards a graphical refinement calculus. In Ewa Orlowska, Andrzej Szalas, editors, Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998. pages 117-121, 1998.

Abstract

Abstract is missing.