|
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.Misc
Page maintainer: Catuscia Palamidessi |