Structural non-interference in elementary and trace nets
BUSI, NADIA, GORRIERI, ROBERTOVolume:
19
Language:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/S0960129509990120
Date:
December, 2009
File:
PDF, 443 KB
english, 2009