Acciai, Lucia; Boreale, Michele Deciding safety properties in infinite-state pi-calculus via behavioural types. (English) Zbl 1279.68192 Inf. Comput. 212, 92-117 (2012). MSC: 68Q60 03B70 68Q85 PDFBibTeX XMLCite \textit{L. Acciai} and \textit{M. Boreale}, Inf. Comput. 212, 92--117 (2012; Zbl 1279.68192) Full Text: DOI
Acciai, Lucia; Boreale, Michele Spatial and behavioral types in the pi-calculus. (English) Zbl 1209.68331 Inf. Comput. 208, No. 10, 1118-1153 (2010). MSC: 68Q85 PDFBibTeX XMLCite \textit{L. Acciai} and \textit{M. Boreale}, Inf. Comput. 208, No. 10, 1118--1153 (2010; Zbl 1209.68331) Full Text: DOI
Yoshida, Nobuko; Berger, Martin; Honda, Kohei Strong normalisation in the \(\pi\)-calculus. (English) Zbl 1101.68705 Inf. Comput. 191, No. 2, 145-202 (2004). MSC: 68Q85 PDFBibTeX XMLCite \textit{N. Yoshida} et al., Inf. Comput. 191, No. 2, 145--202 (2004; Zbl 1101.68705) Full Text: DOI