presentation bibitem

report slides

### prototype

on line form

I have made my D.E.A stage in the Semantics, proof ant Abstract Interpretation team of the Laboratoire d'informatique de l'École polytechnique .

I have designed and implemented a static analyzer for the whole pi-calculus. This analyzer compute both a sound non-uniform description of the interferences between recursive agents of a system and an approximation of the resources a system may use during its executions.

@mastersthesis{feret:dea,
author = {J{\'e}r{\^o}me  Feret},
type = {M\'emoire de DEA},
title = {Conception de \emph{$\pi$-sa} : un analyseur statique g{\'e}n{\'e}rique pour le $\pi$-calcul},
school = {SPP},
month = {september},
year  = {1999},
note  = {Electronically available at https://www.di.ens.fr/~feret/dea/}
}