|
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 model of dynamic separation for transactional memory |
Abadi, Martín |
2010 |
208 | 10 |
p. 1093-1117 25 p. |
artikel |
|
| 2 | Complexity of deciding bisimilarity between normed BPA and normed BPP |
Jančar, Petr |
2010 |
208 | 10 |
p. 1193-1205 13 p. |
artikel |
|
| 3 | Deriving structural labelled transitions for mobile ambients |
Rathke, Julian |
2010 |
208 | 10 |
p. 1221-1242 22 p. |
artikel |
|
| 4 | Editorial Board (continued) |
2010 |
208 | 10 |
p. i- 1 p. |
artikel |
||
| 5 | Inside Front Cover: Editorial Board |
2010 |
208 | 10 |
p. IFC- 1 p. |
artikel |
||
| 6 | Quasi-static scheduling of communicating tasks |
Darondeau, Philippe |
2010 |
208 | 10 |
p. 1154-1168 15 p. |
artikel |
|
| 7 | Spatial and behavioral types in the pi-calculus |
Acciai, Lucia |
2010 |
208 | 10 |
p. 1118-1153 36 p. |
artikel |
|
| 8 | Strategy construction for parity games with imperfect information |
Berwanger, Dietmar |
2010 |
208 | 10 |
p. 1206-1220 15 p. |
artikel |
|
| 9 | 19th International Conference on Concurrency Theory |
van Breugel, Franck |
2010 |
208 | 10 |
p. 1091-1092 2 p. |
artikel |
|
| 10 | Unfolding-based diagnosis of systems with an evolving topology |
Baldan, Paolo |
2010 |
208 | 10 |
p. 1169-1192 24 p. |
artikel |
10 gevonden resultaten