LFCS reports 2004

Since January 2000, LFCS technical reports have appeared as part of the Division of Informatics report series.

The Division does not yet maintain an archive of PhD theses, so these are still published by LFCS and are listed below.

• Decidability and Coincidence of Equivalences for Concurrency
  Sibylle Fröschle
  
  
• Coalgebraic Modelling of Timed Processes
  Marco Kick
  
  
• Observational Models of Requirements Evolution
  Massimo Felici
  
  
• Towards compositional CSL model-checking
  Paolo Ballarini
  
  
• Pseudo-Distributive Laws and a Unified Framework for Variable Binding
  Miki Tanaka