|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Active Evaluation Contexts for Reaction Semantics |
Pilegaard, Henrik |
2007 |
175 | 1 |
p. 57-70 14 p. |
artikel |
|
| 2 | An Eclipse-based Integrated Environment for Developing Executable Structural Operational Semantics Specifications |
Pop, Adrian |
2007 |
175 | 1 |
p. 71-75 5 p. |
artikel |
|
| 3 | Bialgebraic Methods in Structural Operational Semantics |
Klin, Bartek |
2007 |
175 | 1 |
p. 33-43 11 p. |
artikel |
|
| 4 | Modular Structural Operational Semantics with Strategies |
Braga, Christiano |
2007 |
175 | 1 |
p. 3-17 15 p. |
artikel |
|
| 5 | Notes on Generative Probabilistic Bisimulation |
Tini, Simone |
2007 |
175 | 1 |
p. 77-88 12 p. |
artikel |
|
| 6 | On Well-Foundedness and Expressiveness of Promoted Tyft |
Mousavi, Mohammad Reza |
2007 |
175 | 1 |
p. 45-56 12 p. |
artikel |
|
| 7 | Preface |
van Glabbeek, Rob |
2007 |
175 | 1 |
p. 1-2 2 p. |
artikel |
|
| 8 | Self-assembling Trees |
Danos, Vincent |
2007 |
175 | 1 |
p. 19-32 14 p. |
artikel |
8 gevonden resultaten