1. Coordination model and noninterference;Aldini,2003
2. On bisimulations for the asynchronous π-calculus;Amadio;Theoretical Computer Science,1998
3. D.E. Bell, L.J. La Padula, Secure computer systems: Unified exposition and multics interpretation, Technical Report, ESD-TR-75-306, The MITRE Corp., Bedford, MA, 1976
4. Trace and testing equivalence on asynchronous processes;Boreale;Information and Computation,2002
5. Validation of asynchronous circuit specifications using IF/CADP;Borrione,2003