EPTCS 18 - SOS 2009
Bartek Klin, Pawel Sobocinski (Eds.): Proceedings Sixth Workshop on Structural Operational Semantics. 2009 EPTCS 18 [ contents ]- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team