Analisi statica del pi-calcolo e verifica di protocolli
			Alberto Griggio

Sommario:
Viene descritta un'analisi statica relativamente semplice del
pi-calcolo. Per dimostrare la sua correttezza viene introdotta una nuova
visione della semantica del pi-calcolo in cui si esplicita la
sostituzione calcolata dalle regole  di comunicazione e cioè CLOSE e
COM. 
Si presenta anche un'applicazione dell'analisi alla verifica di
proprietà di no-leak di protocolli espressi in pi-calcolo.