|
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 brief history of process algebra |
Baeten, J.C.M. |
2005 |
335 | 2-3 |
p. 131-146 16 p. |
artikel |
|
| 2 | A randomized encoding of the π -calculus with mixed choice |
Palamidessi, Catuscia |
2005 |
335 | 2-3 |
p. 373-404 32 p. |
artikel |
|
| 3 | Author index |
2005 |
335 | 2-3 |
p. 405-406 2 p. |
artikel |
||
| 4 | Decomposition orders—another generalisation of the fundamental theorem of arithmetic |
Luttik, Bas |
2005 |
335 | 2-3 |
p. 147-186 40 p. |
artikel |
|
| 5 | Guest editors’ foreword |
Aceto, Luca |
2005 |
335 | 2-3 |
p. 127-129 3 p. |
artikel |
|
| 6 | Measuring the performance of asynchronous systems with PAFAS |
Corradini, F. |
2005 |
335 | 2-3 |
p. 187-213 27 p. |
artikel |
|
| 7 | Observational congruences for dynamically reconfigurable tile systems |
Bruni, Roberto |
2005 |
335 | 2-3 |
p. 331-372 42 p. |
artikel |
|
| 8 | On the usability of process algebra: An architectural view |
Aldini, Alessandro |
2005 |
335 | 2-3 |
p. 281-329 49 p. |
artikel |
|
| 9 | Process algebra for hybrid systems |
Bergstra, J.A. |
2005 |
335 | 2-3 |
p. 215-280 66 p. |
artikel |
9 gevonden resultaten