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: |
|