|
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 | Adequate Sets of Temporal Connectives in CTL |
Martin, Alan |
2002 |
52 | 1 |
p. 21-31 11 p. |
artikel |
|
| 2 | An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems |
Labroue, A. |
2002 |
52 | 1 |
p. 1-20 20 p. |
artikel |
|
| 3 | Broadcast Calculus Interpreted in CCS upto Bisimulation |
Prasad, K.V.S. |
2002 |
52 | 1 |
p. 83-100 18 p. |
artikel |
|
| 4 | Encoding Distributed Areas and Local Communication into the π-Calculus |
Chothia, Tom |
2002 |
52 | 1 |
p. 101-119 19 p. |
artikel |
|
| 5 | On logical and concurrent equivalences |
Bradfield, J.C. |
2002 |
52 | 1 |
p. 32-45 14 p. |
artikel |
|
| 6 | On the decidability of fragments of the asynchronous π-calculus |
Amadio, Roberto M. |
2002 |
52 | 1 |
p. 66-82 17 p. |
artikel |
|
| 7 | Preface |
Aceto, Luca |
2002 |
52 | 1 |
p. 137-138 2 p. |
artikel |
|
| 8 | Rewrite Systems with Constraints |
Strejček, Jan |
2002 |
52 | 1 |
p. 46-65 20 p. |
artikel |
|
| 9 | Turing Machines, Transition Systems, and Interaction |
Goldin, Dina Q. |
2002 |
52 | 1 |
p. 120-136 17 p. |
artikel |
9 gevonden resultaten