|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Framework for Stochastic System Modelling and Analysis |
Menge, Sebastian |
2006 |
154 | 2 |
p. 73-78 6 p. |
artikel |
|
| 2 | Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names |
Bundgaard, Mikkel |
2006 |
154 | 2 |
p. 7-29 23 p. |
artikel |
|
| 3 | Distributed Graph Traversals by Relabelling Systems with Applications |
Derbel, Bilel |
2006 |
154 | 2 |
p. 79-94 16 p. |
artikel |
|
| 4 | Extending C for Checking Shape Safety |
Dodds, Mike |
2006 |
154 | 2 |
p. 95-112 18 p. |
artikel |
|
| 5 | Graphical Verification of a Spatial Logic for the π-calculus |
Gadducci, Fabio |
2006 |
154 | 2 |
p. 31-46 16 p. |
artikel |
|
| 6 | Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility |
Lanese, Ivan |
2006 |
154 | 2 |
p. 55-72 18 p. |
artikel |
|
| 7 | Preface |
Rensink, Arend |
2006 |
154 | 2 |
p. 1-5 5 p. |
artikel |
|
| 8 | Semi-local Model of Computations on Graphs to Break the Local Symmetry |
Wróblewski, Dobiesław |
2006 |
154 | 2 |
p. 113-120 8 p. |
artikel |
|
| 9 | Towards Attributed Graphs in Groove |
Kastenberg, Harmen |
2006 |
154 | 2 |
p. 47-54 8 p. |
artikel |
9 gevonden resultaten