Precise Analysis of π-Calculus in Cubic Time. - Livio Colussi; Gilberto Filé; A. Griggio (IFIP TCS, 2004)