@TechReport{esop15-tr,
  author =       {V. T. Vasconcelos and F. Martins and E. R. B. Marques and
       H. A. L\'{o}pez and C. Santos and N. Yoshida},
  title =        {Type-Based Verification of Message-Passing Parallel Programs},
  institution =  {University of Lisbon},
  year =         {2014},
  type =         {DI-FCUL},
  number =       {4},
  doi={10455/6902},
  note={},
}