@COMMENT{{{This file has been generated by bib2bib 1.74}}

@COMMENT{{{Command line: ./bib2bib -c 'year>=1998 & year <= 2013' -c 'author: "troina"' papers.bib}}

@TECHREPORT{Troina:08:TechRep,
  AUTHOR = {Angelo Troina and Jean Goubault-Larrecq and Catuscia Palamidessi},
  DATE-ADDED = {2008-12-25 01:55:14 +0100},
  DATE-MODIFIED = {2008-12-25 01:58:13 +0100},
  INSTITUTION = {{LIX}, {E}cole {P}olytechnique},
  TITLE = {A Probabilistic Applied Pi-Calculus},
  YEAR = {2008}
}

@INPROCEEDINGS{Krivine:08:MFPS,
  AUTHOR = {Jean Krivine and Robin Milner and Angelo Troina},
  BOOKTITLE = {Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV)},
  DATE-ADDED = {2008-12-25 01:48:07 +0100},
  DATE-MODIFIED = {2008-12-25 01:52:54 +0100},
  DOI = {10.1016/j.entcs.2008.10.006},
  EDITOR = {Andrej Bauer and Michael Mislove},
  PAGES = {73-96},
  PUBLISHER = {Elsevier B.V.},
  SERIES = {Electronic Notes in Theoretical Computer Science},
  TITLE = {Stochastic Bigraphs},
  VOLUME = {218},
  YEAR = {2008},
  BDSK-URL-1 = {http://dx.doi.org/10.1016/j.entcs.2008.10.006%20%20%20%20}
}

@ARTICLE{Lanotte:07:FAC,
  AUTHOR = {Ruggero Lanotte and Andrea Maggiolo-Schettini and Angelo Troina},
  JOURNAL = {Formal Aspects of Computing},
  NUMBER = {1},
  PAGES = {93--109},
  TITLE = {Parametric probabilistic transition systems for system design and analysis},
  VOLUME = {19},
  YEAR = {2007}
}

@INPROCEEDINGS{Goubault-Larrecq:07:APLAS,
  AUTHOR = {Jean Goubault-Larrecq and Catuscia Palamidessi and Angelo Troina},
  BOOKTITLE = {Proceedings of the 5th Asian Symposium on Programming Languages and Systems (APLAS'07)},
  DATE-MODIFIED = {2007-12-16 15:51:49 +0100},
  NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Angelo/aplas.pdf}},
  PAGES = {175-190},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Computer Science},
  TITLE = {A Probabilistic Applied Pi-Calculus},
  VOLUME = {4807},
  YEAR = 2007
}

This file has been generated by bibtex2html 1.74