Inria
/
Raweb 2009
Presentation of the Project Comète
Logo Inria
Comète
Concurrence, Mobilité et Transactions
2009 Research Team Activity Report
Saclay - Île-de-France
Area :
Algorithmics, Programming, Software and Architecture
Theme : Programs, Verification and Proofs
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: The calculus
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