Inria
/
Raweb 2006
Presentation of the Team Comète
Logo Inria
Comète
Concurrence, Mobilité et Transactions
2006 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
A model checker for the probabilistic asynchronous -calculus
New Results
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
Timed Concurrent Constraint Programming for Analyzing Biological Systems
Other Grants and Activities
Actions nationales
Actions internationales
Dissemination
Services to the Scientific Community
Teaching
Advising
Bibliography
Major publications
Publications of the year
References in notes