External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

PicNIc - Pi-calculus non-interference checker

Silvia Crafa, Matteo Mio, Marino Miculan, Carla Piazza, Sabina Rossi. PicNIc - Pi-calculus non-interference checker. In Jonathan Billington, Zhenhua Duan, Maciej Koutny, editors, 8th International Conference on Application of Concurrency to System Design (ACSD 2008), Xi an, China, June 23-27, 2008. pages 33-38, IEEE, 2008. [doi]

Authors

Silvia Crafa

This author has not been identified. Look up 'Silvia Crafa' in Google

Matteo Mio

This author has not been identified. Look up 'Matteo Mio' in Google

Marino Miculan

This author has not been identified. Look up 'Marino Miculan' in Google

Carla Piazza

This author has not been identified. Look up 'Carla Piazza' in Google

Sabina Rossi

This author has not been identified. Look up 'Sabina Rossi' in Google
runs on