|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
17 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Absolute versus Relative Time in Process Algebras |
Corradini, Flavio |
1997 |
7 | C |
p. 76-95 20 p. |
artikel |
|
| 2 | Bisimilarity of open terms |
Rensink, Arend |
1997 |
7 | C |
p. 262- 1 p. |
artikel |
|
| 3 | Confluent rewriting of bisimilar term graphs |
Ariola, Zena M. |
1997 |
7 | C |
p. 19- 1 p. |
artikel |
|
| 4 | Contracts, Games and Refinement |
Back, R.J.R. |
1997 |
7 | C |
p. 20-33 14 p. |
artikel |
|
| 5 | Domain Equations for Probabilistic Processes (Extended Abstract) |
Baier, Christel |
1997 |
7 | C |
p. 34-54 21 p. |
artikel |
|
| 6 | Eager, Busy-Waiting and Lazy Actions Timed Computation |
Corradini, Flavio |
1997 |
7 | C |
p. 96-114 19 p. |
artikel |
|
| 7 | Foreword |
Palamidessi, Catuscia |
1997 |
7 | C |
p. 1-2 2 p. |
artikel |
|
| 8 | On Expressive Completeness of Duration and Mean Value Calculi (Extended Abstract) |
Rabinovich, Alexander |
1997 |
7 | C |
p. 248-261 14 p. |
artikel |
|
| 9 | On the Turing equivalence of Linda coordination primitives |
Busi, Nadia |
1997 |
7 | C |
p. 75- 1 p. |
artikel |
|
| 10 | Process Creation and Full Sequential Composition in a Name-Passing Calculus |
Gehrke, Thomas |
1997 |
7 | C |
p. 141-160 20 p. |
artikel |
|
| 11 | Process Rewrite Systems |
Mayr, Richard |
1997 |
7 | C |
p. 185-205 21 p. |
artikel |
|
| 12 | Relating Semantic Models for the Object Calculus |
Aceto, Luca |
1997 |
7 | C |
p. 3-18 16 p. |
artikel |
|
| 13 | Specification in CTL+Past, Verification in CTL |
Laroussinie, F. |
1997 |
7 | C |
p. 161-184 24 p. |
artikel |
|
| 14 | Tiles for Concurrent and Located Calculi |
Ferrari, GianLuigi |
1997 |
7 | C |
p. 115-140 26 p. |
artikel |
|
| 15 | Types as Processes, via Chu spaces |
Pratt, Vaughan R. |
1997 |
7 | C |
p. 227-247 21 p. |
artikel |
|
| 16 | What is a 'Good' Encoding of Guarded Choice? |
Nestmann, Uwe |
1997 |
7 | C |
p. 206-226 21 p. |
artikel |
|
| 17 | Zero-Safe Nets, or Transition Synchronization Made Simple |
Bruni, Roberto |
1997 |
7 | C |
p. 55-74 20 p. |
artikel |
17 gevonden resultaten