People

Papers & Software

Seminar

Stages



INRIA

LIX

CNRS
Papers

Papers (co-)authored by Angelo Troina

[1] Angelo Troina, Jean Goubault-Larrecq, and Catuscia Palamidessi. A probabilistic applied pi-calculus. Technical report, LIX, Ecole Polytechnique, 2008.
[ bib ]
[2] Jean Krivine, Robin Milner, and Angelo Troina. Stochastic bigraphs. In Andrej Bauer and Michael Mislove, editors, Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV), volume 218 of Electronic Notes in Theoretical Computer Science, pages 73-96. Elsevier B.V., 2008.
[ bib ]
[3] Ruggero Lanotte, Andrea Maggiolo-Schettini, and Angelo Troina. Parametric probabilistic transition systems for system design and analysis. Formal Aspects of Computing, 19(1+:93-001, 2007.
[ bib ]
[4] Jean Goubault-Larrecq, Catuscia Palamidessi, and Angelo Troina. A probabilistic applied pi-calculus. In Proceedings of the 5th Asian Symposium on Programming Languages and Systems (APLAS'07), volume 4807 of Lecture Notes in Computer Science, pages 175-190. Springer, 2007. http://www.lix.polytechnique.fr/~catuscia/papers/Angelo/aplas.pdf.
[ bib ]

This file has been generated by bibtex2html 1.74


Back


Page maintainer: Catuscia Palamidessi