Table of Contents

• Foreword
  
  
• Luca Aceto, Hans Huttel, Anna Ingolfsdottir and Josva Kleist,
  Relating Semantic Models for the Object Calculus
  
  
• Zena M. Ariola, Jan Willem Klop and Deflet Plump,
  Confluent Rewriting of Bisimilar Term Graphs
  
  
• Ralph J. R. Back and Joachim von Wright,
  Contracts, Games and Refinement (Invited talk)
  
  
• Christel Baier and Marta Kwiatkowska,
  Domain Equations for Probabilistic Processes
  
  
• Roberto Bruni and Ugo Montanari
  Zero-Safe Nets, or Transition Synchronization Made Simple
  
  
• Nadia Busi, Roberto Gorrieri and Gianluigi Zavattaro,
  On the Turing--Equivalence of Linda Coordination Primitives
  
  
• Flavio Corradini,
  Absolute versus Relative Time in Process Algebras
  
  
• Flavio Corradini, GianLuigi Ferrari and Marco Pistore,
  Eager, Busy-Waiting and Lazy Actions in Timed Computation
  
  
• GianLuigi Ferrari and Ugo Montanari,
  Tiles for Concurrent and Located Calculi (Invited talk)
  
  
• Thomas Gehrke and Arend Rensink,
  Process Creation and Full Sequential Composition in a Name-Passing Calculus
  
  
• Francois Laroussinie and Philippe Schnoebelen,
  Specification in CTL+Past, Verification in CTL
  
  
• Richard Mayr,
  Process Rewrite Systems
  
  
• Uwe Nestmann,
  What is a 'Good' Encoding of Guarded Choice?
  
  
• Vaughan R. Pratt,
  Types as Processes, via Chu spaces (Invited talk)
  
  
• Alexander Rabinovich,
  On Expressive Completeness of Duration and Mean Value Calculi
  
  
• Arend Rensink,
  Bisimilarity of Open Terms