It is known that a static analysis of pi-calculus can be done rather simply and also efficiently, i.e. in O(n(3)) time. Clearly, a static analysis should be as precise as possible. We show that it is not only desirable, but also possible to improve the precision of the analysis without worsening its asymptotic complexity. We illustrate the main principles of this efficient algorithm, we prove that it is indeed cubic and we also show that it is correct. The technique introduced here appears to be useful also for other applications, in particular, for the static analysis of languages that extend the pi-calculus.
CITATION STYLE
Colussi, L., Filè, G., & Griggio, A. (2006). Precise Analysis of π-calculus in Cubic Time. In Exploring New Frontiers of Theoretical Informatics (pp. 317–331). Kluwer Academic Publishers. https://doi.org/10.1007/1-4020-8141-3_26
Mendeley helps you to discover research relevant for your work.