Inria
/
Raweb 2005
Presentation of the Team Comète
Logo Inria
Comète
Concurrence, Mobilité et Transactions
2005 Research Team Activity Report
Theme :
COM
Presentation of the Team
- Activity Report in
PDF
or
XML
format
Members
Overall Objectives
Scientific Foundations
Process calculi
Specification logics
Infinite systems
Security
Application Domains
Panorama
Software
Ocaml Memory Profiler
DNA Pack
Overlay garbage collector
Peer-to-peer backup
New Results
The probabilistic asynchronous -calculus
Semantics of probabilistic systems
A Framework for analyzing probabilistic protocols
Theoretical and practical aspects of anonymity
Expressiveness of Concurrent formalisms
A congruence format for name-passing calculi
Deacidability results for Linear Temporal Logic
SAT in presence of infinitely many variables
Peer-to-peer networks
Peer-to-peer backup
Memory Profiling
Other Grants and Activities
Actions nationales
Actions internationales
Dissemination
Services to the Scientific Community
Teaching
Internship supervision
Bibliography
Major publications
Publications of the year
References in notes
