Inria
/
Raweb 2010
Presentation of the Project comete
Logo Inria
comete
Concurrency, Mobility and Transactions
2010 Research Team Activity Report
Saclay - Île-de-France
Field :
Algorithmics, Programming, Software and Architecture
Theme : Programs, Verification and Proofs
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
or
ePub
(
test
) 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
MMCsp, a compiler for the -calculus
New Results
Foundations of information hiding
Process Calculi
Randomness
Web services
Compositional Modeling of Signaling Pathways
Other Grants and Activities
National Initiatives
International Initiatives
Dissemination
Animation of the scientific community
Visitors
Service
Teaching
Advising
Bibliography
Major publications
Publications of the year
References in notes
