|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
13 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Absolute versus Relative Time in Process Algebras |
Corradini, Flavio |
2000 |
156 | 1-2 |
p. 122-172 51 p. |
artikel |
|
| 2 | Author Index for Volume 156 |
2000 |
156 | 1-2 |
p. 386- 1 p. |
artikel |
||
| 3 | Bisimilarity in Term Graph Rewriting |
Ariola, Zena M. |
2000 |
156 | 1-2 |
p. 2-24 23 p. |
artikel |
|
| 4 | Bisimilarity of Open Terms |
Rensink, Arend |
2000 |
156 | 1-2 |
p. 345-385 41 p. |
artikel |
|
| 5 | Contracts, Games, and Refinement |
Back, Ralph-Johan |
2000 |
156 | 1-2 |
p. 25-45 21 p. |
artikel |
|
| 6 | Expressive Completeness of Duration Calculus |
Rabinovich, Alexander |
2000 |
156 | 1-2 |
p. 320-344 25 p. |
artikel |
|
| 7 | On the Expressiveness of Linda Coordination Primitives |
Busi, Nadia |
2000 |
156 | 1-2 |
p. 90-121 32 p. |
artikel |
|
| 8 | PREFACE |
Palamidessi, Catuscia |
2000 |
156 | 1-2 |
p. 1- 1 p. |
artikel |
|
| 9 | Process Rewrite Systems |
Mayr, Richard |
2000 |
156 | 1-2 |
p. 264-286 23 p. |
artikel |
|
| 10 | Specification in CTL+Past for Verification in CTL |
Laroussinie, F. |
2000 |
156 | 1-2 |
p. 236-263 28 p. |
artikel |
|
| 11 | Tile Formats for Located and Mobile Systems |
Ferrari, GianLuigi |
2000 |
156 | 1-2 |
p. 173-235 63 p. |
artikel |
|
| 12 | What is a “Good” Encoding of Guarded Choice? |
Nestmann, Uwe |
2000 |
156 | 1-2 |
p. 287-319 33 p. |
artikel |
|
| 13 | Zero-Safe Nets: Comparing the Collective and Individual Token Approaches |
Bruni, Roberto |
2000 |
156 | 1-2 |
p. 46-89 44 p. |
artikel |
13 gevonden resultaten