COMETE - 2011 - Annual activity report

COMETE

COMETE - 2011

Project Team Comete

Members

Overall Objectives

Introduction
Highlights

Scientific Foundations

Probability and information theory
The probabilistic asynchronous $π$ -calculus
Expressiveness issues
Concurrent constraint programming
Model checking

Application Domains

Security and privacy

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
Concurrent constraint programming
Session types

Partnerships and Cooperations

National Initiatives
International Initiatives
Exterior research visitors

Dissemination

Animation of the scientific community
Visitors
Service
Teaching

Bibliography

Major publications
Publications of the year
References in notes

Previous |

Home | Next next

Section: Overall Objectives

Highlights

Catuscia Palamidessi has been keynote speaker at the 2011 edition of the conference ICALP (Internetional Colloquium on Automata, Languages and Programming, http://icalp11.inf.ethz.ch/ ).

Previous |

Home | Next next