 |
|
|
|
| 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-109, 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