EPTCS 18 - SOS 2009

• Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir:
  A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages. 1-16
  
• Magnus Johansson, Björn Victor, Joachim Parrow:
  A Fully Abstract Symbolic Semantics for Psi-Calculi. 17-31
  
• Mohammad Reza Mousavi:
  Causality in the Semantics of Esterel: Revisited. 32-45
  
• Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
  On Barbs and Labels in Reactive Systems. 46-61
  
• Iain C. C. Phillips, Irek Ulidowski:
  Reverse Bisimulations on Stable Configuration Structures. 62-76
  
• Gilles Dowek, César A. Muñoz, Camilo Rocha:
  Rewriting Logic Semantics of a Plan Execution Language. 77-91
  
• Michel A. Reniers, Tim A. C. Willemse:
  Analysis of Boolean Equation Systems through Structure Graphs. 92-107
  

Last update Fri May 17 23:40:01 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page