External Links

Cite Key

Statistics

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

PDF

Tags

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.

Static vs Dynamic Typing for Access Control in Pi-Calculus

Michele Bugliesi, Damiano Macedonio, Sabina Rossi. Static vs Dynamic Typing for Access Control in Pi-Calculus. In Iliano Cervesato, editor, Advances in Computer Science - ASIAN 2007. Computer and Network Security, 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007, Proceedings. Volume 4846 of Lecture Notes in Computer Science, pages 282-296, Springer, 2007. [doi]

Authors

Michele Bugliesi

This author has not been identified. Look up 'Michele Bugliesi' in Google

Damiano Macedonio

This author has not been identified. Look up 'Damiano Macedonio' in Google

Sabina Rossi

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