EPTCS 18 - SOS 2009
Bartek Klin, Pawel Sobocinski (Eds.):
Proceedings Sixth Workshop on Structural Operational Semantics.
EPTCS 18 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