Input-Output Disjointness for Forward Expressions in the Logic of Information Flows.

Heba Aamer, Jan Van den Bussche

Browse the full ICDT paper archive.