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
