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