Team Comète

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Other Grants and Activities
Dissemination
Bibliography

Section: Application Domains

Keywords : telecommunications, distributed applications, distributed systems, mobile systems, security.

Panorama

The foundational research of Comète (process calculi, communication and mobility, probabilistic studies, semantics and logics for concurrency, etc.) and the software tools we develop address the needs of many application domains. They are virtually applicable to any system or protocol made of distributed agents communicating by asynchronous messages, and where, possibly, the communication structure can change dynamically. Here we list the main domains of applications we envisage:


previous
next

Logo Inria