Roberto Gorrieri, Matteo Vernali. On Intransitive Non-interference in Some Models of Concurrency. In Alessandro Aldini, Roberto Gorrieri, editors, Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures. Volume 6858 of Lecture Notes in Computer Science, pages 125-151, Springer, 2010. [doi]
Abstract is missing.