Volume 209, April 2008

Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory (LIX 2006)

• 
  Catuscia Palamidessi, Frank D. Valencia: Preface. 1-4
• 
  Robin Milner: Bigraphs and Their Algebra. 5-19
• 
  Jos C. M. Baeten, Dirk A. van Beek, Pieter J. L. Cuijpers, Michel A. Reniers, J. E. Rooda, Ramon R. H. Schiffelers, Rolf J. M. Theunissen: Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi. 21-53
• 
  Jan A. Bergstra, C. A. Middelburg: Parallel Processes with Implicit Computational Capital. 55-81
• 
  Mario Bravetti: Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time. 83-106
• 
  Nadia Busi: Expressiveness Issues in Brane Calculi: A Survey. 107-124
• 
  Marco Carbone, Kohei Honda, Nobuko Yoshida: Theoretical Aspects of Communication-Centred Programming. 125-133
• 
  Emmanuelle Encrenaz, Laurent Fribourg: Time Separation of Events: An Inverse Method. 135-148
• 
  Hubert Garavel: Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular. 149-164
• 
  Tony Hoare: Verification of Fine-grain Concurrent Programs. 165-171
• 
  Joachim Parrow: Expressiveness of Process Algebras. 173-186
• 
  Kazunori Ueda: Encoding Distributed Process Calculi into LMNtal. 187-200
• 
  Filippo Bonchi, Ugo Montanari: A Coalgebraic Theory of Reactive Systems. 201-215