Structural non-interference in elementary and trace nets

Nadia Busi, Roberto Gorrieri. Structural non-interference in elementary and trace nets. Mathematical Structures in Computer Science, 19(6):1065-1090, 2009. [doi]

Abstract

Abstract is missing.