On Intransitive Non-interference in Some Models of Concurrency. - Roberto Gorrieri; Matteo Vernali (FOSAD, 2011)