People

Papers & Software

Seminar

Stages



INRIA

LIX

CNRS



Nowadays most people are familiar with highly distributed systems consisting of diverse and specialized devices, providing diffent services and applications. In this context, it is certainly a great scientific challenge to develop languages to build systems in which processes move in a secure, highly distributed network of devices which may individually exhibit failures (about which we may have stochastic information) but together work as a reliable, dependable system.

Comète focuses on the design, implementation and applications of formal languages for mobile, secure, stochastic and distributed systems of the kind mentioned aboved. We are particularly interested in formal languages based on process calculi.

Team Leader: Catuscia Palamidessi

Current projects

Princess, Locali, Pace, Meals, CPP, Panda, Printemps, FORCES, REACT.

Collaborations

The AVISPA group.

Misc



Page maintainer: Catuscia Palamidessi