Inria
/
Raweb 2008
Presentation of the Project Comète
Logo Inria
Comète
Concurrence, Mobilité et Transactions
2008 Research Team Activity Report
Saclay - Île-de-France
Theme :
COM
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
format
Members
Overall Objectives
Introduction
Highlights of the year
Scientific Foundations
Probabilistic aspects
Expressiveness issues
The probabilistic asynchronous -calculus
Application Domains
Security
Model checking
Software
A model checker for the probabilistic asynchronous -calculus
PRISM model generator
Calculating the set of corner points of a channel
New Results
Expressive power of models and formalisms for concurrency
Foundations of information hiding
Specification and verification of security protocols
Concurrent Constraint Programming
Model checking
Modeling biological systems
Other Grants and Activities
Actions nationales
Actions internationales
Dissemination
Contribution to scientific events and activities
Service
Teaching
Advising
Bibliography
Major publications
Publications of the year
References in notes
