nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A congruence rule format for name-passing process calculi
|
Fiore, Marcelo |
|
2009 |
207 |
2 |
p. 209-236 28 p. |
artikel |
2 |
A family of syntactic logical relations for the semantics of Haskell-like languages
|
Johann, Patricia |
|
2009 |
207 |
2 |
p. 341-368 28 p. |
artikel |
3 |
An Observational Theory for Mobile Ad Hoc Networks (full version)
|
Merro, Massimo |
|
2009 |
207 |
2 |
p. 194-208 15 p. |
artikel |
4 |
A rewriting logic approach to operational semantics
|
Şerbănuţă, Traian Florin |
|
2009 |
207 |
2 |
p. 305-340 36 p. |
artikel |
5 |
Bialgebraic methods and modal logic in structural operational semantics
|
Klin, Bartek |
|
2009 |
207 |
2 |
p. 237-257 21 p. |
artikel |
6 |
Bi-inductive structural semantics
|
Cousot, Patrick |
|
2009 |
207 |
2 |
p. 258-283 26 p. |
artikel |
7 |
(Bi)simulations up-to characterise process semantics
|
de Frutos Escrig, David |
|
2009 |
207 |
2 |
p. 146-170 25 p. |
artikel |
8 |
Coinductive big-step operational semantics
|
Leroy, Xavier |
|
2009 |
207 |
2 |
p. 284-304 21 p. |
artikel |
9 |
Editorial Board (continued)
|
|
|
2009 |
207 |
2 |
p. i- 1 p. |
artikel |
10 |
Generating priority rewrite systems for OSOS process languages
|
Ulidowski, Irek |
|
2009 |
207 |
2 |
p. 120-145 26 p. |
artikel |
11 |
Inside Front Cover: Editorial Board
|
|
|
2009 |
207 |
2 |
p. IFC- 1 p. |
artikel |
12 |
Mobility control via passports
|
Hym, Samuel |
|
2009 |
207 |
2 |
p. 171-193 23 p. |
artikel |
13 |
Semantics and expressiveness of ordered SOS
|
Mousavi, MohammadReza |
|
2009 |
207 |
2 |
p. 85-119 35 p. |
artikel |
14 |
Special issue on structural operational semantics
|
van Glabbeek, Rob |
|
2009 |
207 |
2 |
p. 83-84 2 p. |
artikel |