Istituto di Informatica e Telematica     
Martinelli F. About compositional analysis of pi-calculus processes. In: IFIP World Conference on Theoretical Computer Science TCS02 (Amsterdam, 2003). Proceedings, pp. 524 - 536. acm, 2003.
We set up a logical framework for the compositional analysis of finite pi-calculus processes. In particular, we extend the partial model checking techniques developed for value passing process algebras to a nominal calculus, i.e. the pi-calculus. The logic considered is an adaptation of the ambient logic to the pi-calculus. As one of the possible applications, we show that our techniques may be used to study interesting security properties as confidentiality for (finite) pi-calculus processes.
Subject pi-calculus processes

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional