Abstract Interpretation of the pi-Calculus

@inproceedings{Venet1996AbstractIO,
  title={Abstract Interpretation of the pi-Calculus},
  author={Arnaud Venet},
  booktitle={LOMAPS},
  year={1996}
}
Interpretation of the 7r-Calculus 
Highly Cited
This paper has 28 citations. REVIEW CITATIONS