@InProceedings{Logozzo01,
  author =       {F{.} Logozzo},
  title =        {$\pi$-calculus as a rapid prototype language for performances evaluation},
  booktitle =    {SAVE'01: Specification, Analysis and Validation for Emerging Technologies in Computaional Logic Workshop Proceedings},
  year =         {2001},
  month =        {December},
}