Publications
- [1]
-
Kostantinos Chatzikokolakis and Catuscia Palamidessi.
Probable innocence revisited.
Theoretical Computer Science, 2006.
To appear.
http://www.lix.polytechnique.fr/~catuscia/papers/Anonymity/reportPI.pdf.
- [2]
-
Jean Goubault-Larrecq.
Continuous capacities on continuous state spaces.
Research Report LSV-07-06, Laboratoire Spécification et
Vérification, ENS Cachan, France, January 2007.
37 pages.
- [3]
-
Jean Goubault-Larrecq.
Continuous previsions.
Research Report LSV-07-07, Laboratoire Spécification et
Vérification, ENS Cachan, France, January 2007.
29 pages.
- [4]
-
Catuscia Palamidessi, Vijay Saraswat, Frank Valencia, and Bjorn Victor.
On the expressiveness of linearity vs. persistence in the asychronous
pi-calculus.
In Proceedings of the Twenty First Annual IEEE Symposium on
Logic in Computer Science (LICS), 2006.
To appear.
http://www.lix.polytechnique.fr/~catuscia/papers/Frank/LICS_06/main.pdf.
- [5]
-
Sylvain Pradalier and Catuscia Palamidessi.
Expressiveness of probabilistic π-calculi.
In Proceedings of QAPL, 2006.
To appear.
http://www.lix.polytechnique.fr/~catuscia/papers/Sylvain/QAPL06/FinalBis.pdf.