|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
12 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A CPS Encoding of Name-Passing in Higher-Order Mobile Embedded Resources |
Bundgaard, Mikkel |
2005 |
128 | 2 |
p. 131-150 20 p. |
artikel |
|
| 2 | Characteristic μ-Calculus Formulas for Underspecified Transition Systems |
Fecher, Harald |
2005 |
128 | 2 |
p. 103-116 14 p. |
artikel |
|
| 3 | Concurrent Nets |
Beffara, Emmanuel |
2005 |
128 | 2 |
p. 67-86 20 p. |
artikel |
|
| 4 | Equivalences for Silent Transitions in Probabilistic Systems |
Andova, S. |
2005 |
128 | 2 |
p. 53-66 14 p. |
artikel |
|
| 5 | Fairness of Components in System Computations |
Corradini, F. |
2005 |
128 | 2 |
p. 35-52 18 p. |
artikel |
|
| 6 | Leader Election in Rings of Ambient Processes |
Phillips, Iain |
2005 |
128 | 2 |
p. 185-199 15 p. |
artikel |
|
| 7 | Name-Passing in an Ambient-Like Calculus and Its Proof Using Spatial Logic |
Guan, Xudong |
2005 |
128 | 2 |
p. 169-183 15 p. |
artikel |
|
| 8 | On the Expressiveness of Higher Dimensional Automata |
van Glabbeek, R.J. |
2005 |
128 | 2 |
p. 5-34 30 p. |
artikel |
|
| 9 | On the Expressive Power of Klaim-based Calculi |
De Nicola, Rocco |
2005 |
128 | 2 |
p. 117-130 14 p. |
artikel |
|
| 10 | On the ω-language Expressive Power of Extended Petri Nets |
Finkel, A. |
2005 |
128 | 2 |
p. 87-101 15 p. |
artikel |
|
| 11 | Partial Order Reduction for Verification of Spatial Properties of Pi-Calculus Processes |
Affeldt, Reynald |
2005 |
128 | 2 |
p. 151-168 18 p. |
artikel |
|
| 12 | Preface |
Baeten, Jos |
2005 |
128 | 2 |
p. 1-3 3 p. |
artikel |
12 gevonden resultaten