|
| [ABC07b] | Almeida Matos, A. and Boudol, G. and Castellani, I. -- Typing Noninterference for Reactive Programs -- Journal of Logic and Algebraic Programming, 722007, pp. 124-156. |
| |
| [ABC06b] | Almeida Matos, A. and Boudol, G. and Castellani, I. -- Typing Noninterference for Reactive Programs -- 2006. |
| |
| [ABC05b] | Almeida Matos, A. and Boudol, G. and Castellani, I. -- Typing Noninterference for Reactive Programs -- 5594, INRIA, 2005. |
| [ html ] |
| |
|
