Galois Connections for Flow Algebras.

Piotr Filipiuk, Michal Terepeta, Hanne Riis Nielson, Flemming Nielson

Browse the full FORTE paper archive.