Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     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
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland