COMETE Research team

Concurrency, Mobility and Transactions

Team presentation

The research of the COMETE project-team focus on the theoretical foundations of concurrent and distributed languages. The project-team follows two main directions: the study, implementation and applications of the probabilistic pi-calculus, a variant of the pi-calculus, and the use of higher-order functional programming languages for distributed applications, in particular in the context of peer-to-peer systems.

Research themes

  • The probabilistic asynchronous pi-calculus, a variant of the pi-calculus suitable for distributed implementation. Here, the objective is to explore the expressiveness of the calculus, and to use it for the specification and verification of distributed algorithms and systems.
  • Security protocols. The aim of this theme is to verify protocols when the desired level of security and quality of encryption are probabilistic, i.e. not perfect.
  • Distributed algorithms. We study the basic algorithms that appear in the implementation of distributed systems, their specification and their complexity.
  • Peer-to-peer systems and functional programming. The goal of this theme is to study the language constructions and tools required to build distributed systems, in particular in the context of peer-to-peer (file-sharing) systems.

International and industrial relations

  • Some members of the project are part of the Esprit PEPITO project with KTH, EPFL, SICS, UCL and the University of Cambridge.
  • We are involved in the development in Objective-Caml of a multi-networks peer-to-peer file-sharing client, MLdonkey.

Keywords: Models and Languages for Concurrent and Distributed Computation Security Formal Methods Implementation

Research teams of the same theme :

Inria Headquarters and research centres

Direct links

Social