@misc {IOPORT.70093616,
    author       = {Busi, Nadia and Gorrieri, Roberto},
    title        = {Positive non-interference in elementary and trace nets},
    howpublished = {ICATPN, 1-16 (2004).},
    year         = {2004},
    doi          = {10.1007/978-3-540-27793-4_1},
    identifier   = {70093616},
}