Journal of Logic and Algebraic Programming, Volume 60-61

Volumes 60-61, July - December 2004

Structural Operational Semantics

Luca Aceto, Wan Fokkink:
Guesteditors'introduction: Special issue on Structural Operational Semantics. 1-2
Electronic Edition (link) BibTeX
Gordon D. Plotkin:
The origins of structural operational semantics. 3-15
Electronic Edition (link) BibTeX
Gordon D. Plotkin: A structural approach to operational semantics. 17-139 BibTeX
Ralf Lämmel:
Evolution of rule-based programs. 141-193
Electronic Edition (link) BibTeX
Peter D. Mosses:
Modular structural operational semantics. 195-228
Electronic Edition (link) BibTeX
Rob J. van Glabbeek:
The meaning of negative premises in transition system specifications II. 229-258
Electronic Edition (link) BibTeX
Bartek Klin:
Adding recursive constructs to bialgebraic semantics. 259-286
Electronic Edition (link) BibTeX
Alex K. Simpson:
Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS. 287-322
Electronic Edition (link) BibTeX
Jos C. M. Baeten, Erik P. de Vink:
Axiomatizing GSOS with termination. 323-351
Electronic Edition (link) BibTeX
Simone Tini:
Rule formats for compositional non-interference properties. 353-400
Electronic Edition (link) BibTeX
Irek Ulidowski, Shoji Yuen:
Process languages with discrete relative time based on the Ordered SOS format and rooted eager bisimulation. 401-460
Electronic Edition (link) BibTeX