PicNIc - Pi-calculus non-interference checker.
Autor: | Crafa, S., Mio, M., Miculan, M., Piazza, C., Rossi, S. |
---|---|
Zdroj: | 2008 8th International Conference on Application of Concurrency to System Design; 2008, p33-38, 6p |
Databáze: | Complementary Index |
Externí odkaz: |