|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Basic Parallel Process as a Parallel Pushdown Automaton |
Baeten, J.C.M. |
2009 |
242 | 1 |
p. 35-48 14 p. |
artikel |
|
| 2 | A Calculus for Mobile Ad-hoc Networks with Static Location Binding |
Godskesen, Jens Chr. |
2009 |
242 | 1 |
p. 161-183 23 p. |
artikel |
|
| 3 | Adding Branching to the Strand Space Model |
Fröschle, Sibylle |
2009 |
242 | 1 |
p. 139-159 21 p. |
artikel |
|
| 4 | Decidable Fragments of a Higher Order Calculus with Locations |
Bundgaard, Mikkel |
2009 |
242 | 1 |
p. 113-138 26 p. |
artikel |
|
| 5 | EXPTIME-complete Decision Problems for Modal and Mixed Specifications |
Antonik, Adam |
2009 |
242 | 1 |
p. 19-33 15 p. |
artikel |
|
| 6 | Hard Life with Weak Binders |
Bartoletti, Massimo |
2009 |
242 | 1 |
p. 49-72 24 p. |
artikel |
|
| 7 | Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding) |
Bonchi, Filippo |
2009 |
242 | 1 |
p. 73-98 26 p. |
artikel |
|
| 8 | On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS |
Amadio, Roberto M. |
2009 |
242 | 1 |
p. 3-17 15 p. |
artikel |
|
| 9 | Preface |
Hildebrandt, Thomas |
2009 |
242 | 1 |
p. 1-2 2 p. |
artikel |
|
| 10 | Security Abstractions and Intruder Models (Extended Abstract) |
Bugliesi, Michele |
2009 |
242 | 1 |
p. 99-112 14 p. |
artikel |
10 gevonden resultaten