Volumes 60-61, July - December 2004
Structural Operational Semantics
- Luca Aceto, Wan Fokkink:
Guesteditors'introduction: Special issue on Structural Operational Semantics.
1-2

- Gordon D. Plotkin:
The origins of structural operational semantics.
3-15

- Gordon D. Plotkin:
A structural approach to operational semantics.
17-139

- Ralf Lämmel:
Evolution of rule-based programs.
141-193

- Peter D. Mosses:
Modular structural operational semantics.
195-228

- Rob J. van Glabbeek:
The meaning of negative premises in transition system specifications II.
229-258

- Bartek Klin:
Adding recursive constructs to bialgebraic semantics.
259-286

- Alex K. Simpson:
Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS.
287-322

- Jos C. M. Baeten, Erik P. de Vink:
Axiomatizing GSOS with termination.
323-351

- Simone Tini:
Rule formats for compositional non-interference properties.
353-400

- Irek Ulidowski, Shoji Yuen:
Process languages with discrete relative time based on the Ordered SOS format and rooted eager bisimulation.
401-460

Last update Sat May 18 16:48:58 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page