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]

Authors

Nadia Busi

This author has not been identified. Look up 'Nadia Busi' in Google

Roberto Gorrieri

This author has not been identified. Look up 'Roberto Gorrieri' in Google