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 projectsPrincess, Locali, Pace, Meals, CPP, Panda, Printemps, FORCES, REACT.
CollaborationsThe AVISPA group.
Page maintainer: Catuscia Palamidessi