Inria / Raweb 2004
Team: Comète

Concurrence, Mobilité et Transactions

• Members
• Overall Objectives
  • (Sans Titre)
• Scientific Foundations
  • Process calculi
  • Specification logics
  • Infinite systems
  • Security
• Application Domains
  • Panorama
• Software
  • MLdonkey
  • Ocaml Memory Profiler
• New Results
  • The probabilistic asynchronous -calculus
  • Axiomatizations of Probabilistic Finite-State Behaviors
  • Metrics for Quantitative Transition Systems
  • Probabilistic Anonymity
  • Deacidability results for Linear Temporal Logic
  • Infinite Behavior and Name Scoping in Process Calculi
  • Open Constraint Satisfaction Problems
  • Efficient Arc-Consistency techniques for Constraint Satisfaction Problems
  • Distributed Algorithms
  • Peer-to-peer algorithms
  • Memory Profiling
• Other Grants and Activities
  • Actions nationales
  • Actions internationales
• Dissemination
  • Services to the Scientific Community
  • Teaching
  • Internship supervision
• Bibliography
  • Major publications
  • Publications of the year
  • References in notes