Journal of Logic and Algebraic Programming, Volume 60-61

Volumes 60-61, July - December 2004

• 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