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
Copyright ©
Sun May 17 00:10:09 2009 by
Michael Ley
(
ley@uni-trier.de
)