|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle |
Bengtson, Jesper |
2007 |
192 | 1 |
p. 61-75 15 p. |
artikel |
|
| 2 | A Congruence Rule Format with Universal Quantification |
Mousavi, Mohammad Reza |
2007 |
192 | 1 |
p. 109-124 16 p. |
artikel |
|
| 3 | An Operational Semantics for Shared Messaging Communication |
Kiehn, Astrid |
2007 |
192 | 1 |
p. 77-92 16 p. |
artikel |
|
| 4 | A Rewriting Logic Approach to Operational Semantics (Extended Abstract) |
Şerbănuţă, Traian Florin |
2007 |
192 | 1 |
p. 125-141 17 p. |
artikel |
|
| 5 | A Well-behaved LTS for the Pi-calculus |
Sobociński, Paweł |
2007 |
192 | 1 |
p. 5-11 7 p. |
artikel |
|
| 6 | Bi-inductive Structural Semantics |
Cousot, Patrick |
2007 |
192 | 1 |
p. 29-44 16 p. |
artikel |
|
| 7 | Preface |
van Glabbeek, Rob |
2007 |
192 | 1 |
p. 1-3 3 p. |
artikel |
|
| 8 | Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems |
Fecher, Harald |
2007 |
192 | 1 |
p. 45-60 16 p. |
artikel |
|
| 9 | Reversibility and Models for Concurrency |
Phillips, Iain |
2007 |
192 | 1 |
p. 93-108 16 p. |
artikel |
|
| 10 | Simulations Up-to and Canonical Preorders |
de Frutos Escrig, David |
2007 |
192 | 1 |
p. 13-28 16 p. |
artikel |
10 gevonden resultaten