Electronic Notes in Theoretical Computer Science, Volume 209

Volume 209, April 2008

• Catuscia Palamidessi, Frank D. Valencia:
  Preface. 1-4
  
• Robin Milner:
  Bigraphs and Their Algebra. 5-19
  
• Jos C. M. Baeten, D. A. van Beek, Pieter J. L. Cuijpers, Michel A. Reniers, J. E. Rooda, Ramon R. H. Schiffelers, R. 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