Volume 207,
Number 1,
January 2009
Volume 207,
Number 2,
February 2009
- Rob J. van Glabbeek, Peter D. Mosses:
Special issue on structural operational semantics.
83-84
Electronic Edition (link) BibTeX
- Mohammad Reza Mousavi, Iain Phillips, Michel A. Reniers, Irek Ulidowski:
Semantics and expressiveness of ordered SOS.
85-119
Electronic Edition (link) BibTeX
- Irek Ulidowski, Shoji Yuen:
Generating priority rewrite systems for OSOS process languages.
120-145
Electronic Edition (link) BibTeX
- David de Frutos-Escrig, Carlos Gregorio-Rodríguez:
(Bi)simulations up-to characterise process semantics.
146-170
Electronic Edition (link) BibTeX
- Samuel Hym:
Mobility control via passports.
171-193
Electronic Edition (link) BibTeX
- Massimo Merro:
An Observational Theory for Mobile Ad Hoc Networks (full version).
194-208
Electronic Edition (link) BibTeX
- Marcelo P. Fiore, Sam Staton:
A congruence rule format for name-passing process calculi.
209-236
Electronic Edition (link) BibTeX
- Bartek Klin:
Bialgebraic methods and modal logic in structural operational semantics.
237-257
Electronic Edition (link) BibTeX
- Patrick Cousot, Radhia Cousot:
Bi-inductive structural semantics.
258-283
Electronic Edition (link) BibTeX
- Xavier Leroy, Hervé Grall:
Coinductive big-step operational semantics.
284-304
Electronic Edition (link) BibTeX
- Traian-Florin Serbanuta, Grigore Rosu, José Meseguer:
A rewriting logic approach to operational semantics.
305-340
Electronic Edition (link) BibTeX
- Patricia Johann, Janis Voigtländer:
A family of syntactic logical relations for the semantics of Haskell-like languages.
341-368
Electronic Edition (link) BibTeX
Volume 207,
Number 3,
March 2009
Volume 207,
Number 4,
April 2009
Volume 207,
Number 5,
May 2009
Copyright © Sun May 17 00:00:05 2009
by Michael Ley (ley@uni-trier.de)
