Multilevel Transitive and Intransitive Non-interference, Causally.

Paolo Baldan, Alessandro Beggiato

Browse the full Coordination paper archive.