Contents

• Contents
• Overview
• Executive summary
• Management
  • Consortium level
  • Università di Bologna
    • Research
    • Workshops, Travels and Visits
    • Publications
  • University of Cambridge
    • Research directions
    • Personnel and exchanges
    • Publications
  • CWI
    • Research Directions
    • Participation to workshops
  • University of Edinburgh
    • Research directions
    • Workshops, Travels and Visits
    • Publications
  • ENS
    • Research Directions
    • Publications
  • France Telecom - CNET
  • ICL
    • Research Directions
    • Exchange of Personnel
    • Publications
  • INRIA-Rocquencourt
    • Research directions
    • Persons and exchanges
    • Publications
  • INRIA-Sophia
    • Research directions
    • Participation to CONFER Workshops
    • Publications
  • KTH
    • Research directions
    • Persons and exchanges
    • Publications
  • Università di Pisa
    • Outline
    • Perspective
    • Persons
    • Publications
    • Description of Technical Contributions
  • University of Sussex
    • Research directions
    • Personnel and Exchanges
    • Publications
  • University of Warwick
    • Research activity
    • Workshops and site visits
    • Publications
• Deliverables
  • Workshop 1
  • Workshop 2
  • Software deliverables
• Progress
  • Foundational models and abstract machines
    • Optimal reductions in the $\lambda$-calculus
    • Axiomatic Rewriting Systems
    • Sequentiality
    • The Theory of Action calculi
    • The tile model
    • Correct Transformations of Nondeterministic Programs
    • Flow graphs and semantics
  • Calculi
    • New Calculi for mobile and distributed processes
    • Basic properties and types
    • Bisimulations
    • Proofs of protocols and transformational rules
  • Logics for Concurrency and $\lambda$-calculus
    • Game semantics for the $\lambda$-calculus and linear logic
    • Denotational semantics
  • Programming Languages
    • The Join Calculus Language
    • A distributed garbage collector
    • Distributed PICT
    • The BOHM machine
    • LLinda
    • Practical uses of Agents and Mobility
    • Proofs systems
• Appendices
• References