|
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 | A Coalgebraic Theory of Reactive Systems |
Bonchi, Filippo |
2008 |
209 | C |
p. 201-215 15 p. |
artikel |
|
| 2 | Bigraphs and Their Algebra |
Milner, Robin |
2008 |
209 | C |
p. 5-19 15 p. |
artikel |
|
| 3 | Encoding Distributed Process Calculi into LMNtal |
Ueda, Kazunori |
2008 |
209 | C |
p. 187-200 14 p. |
artikel |
|
| 4 | Expressiveness Issues in Brane Calculi: A Survey |
Busi, Nadia |
2008 |
209 | C |
p. 107-124 18 p. |
artikel |
|
| 5 | Expressiveness of Process Algebras |
Parrow, Joachim |
2008 |
209 | C |
p. 173-186 14 p. |
artikel |
|
| 6 | Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time |
Bravetti, Mario |
2008 |
209 | C |
p. 83-106 24 p. |
artikel |
|
| 7 | Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi |
Baeten, J.C.M. |
2008 |
209 | C |
p. 21-53 33 p. |
artikel |
|
| 8 | Parallel Processes with Implicit Computational Capital |
Bergstra, J.A. |
2008 |
209 | C |
p. 55-81 27 p. |
artikel |
|
| 9 | Preface |
Palamidessi, Catuscia |
2008 |
209 | C |
p. 1-4 4 p. |
artikel |
|
| 10 | Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular |
Garavel, Hubert |
2008 |
209 | C |
p. 149-164 16 p. |
artikel |
|
| 11 | Theoretical Aspects of Communication-Centred Programming |
Carbone, Marco |
2008 |
209 | C |
p. 125-133 9 p. |
artikel |
|
| 12 | Time Separation of Events: An Inverse Method |
Encrenaz, Emmanuelle |
2008 |
209 | C |
p. 135-148 14 p. |
artikel |
|
| 13 | Verification of Fine-grain Concurrent Programs |
Hoare, Tony |
2008 |
209 | C |
p. 165-171 7 p. |
artikel |
13 gevonden resultaten