Structural non-interference in elementary and trace nets

DOI10.1017/S0960129509990120zbMath1191.68431MaRDI QIDQ3655757

Roberto Gorrieri, Nadia Busi

Publication date: 12 January 2010

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Multilevel transitive and intransitive non-interference, causally ⋮ Interleaving vs True Concurrency: Some Instructive Security Examples ⋮ Non-interference by Unfolding ⋮ On Intransitive Non-interference in Some Models of Concurrency

Cites Work

• Trace nets and process automata
• A Theory of Communicating Sequential Processes

This page was built for publication: Structural non-interference in elementary and trace nets