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
 
                             8 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Cache consistency by design Brinksma, Ed
1999
12 2-3 p. 61-74
artikel
2 Characterization of a sequentially consistent memory and verification of a cache memory by abstraction Graf, Susanne
1999
12 2-3 p. 75-90
artikel
3 Introduction Merritt, Michael
1999
12 2-3 p. 55-56
artikel
4 Lazy caching in TLA Ladkin, Peter
1999
12 2-3 p. 151-174
artikel
5 Proving refinement using transduction Jonsson, Bengt
1999
12 2-3 p. 129-149
artikel
6 Sequential consistency and the lazy caching algorithm Gerth, Rob
1999
12 2-3 p. 57-59
artikel
7 The compositional approach to sequential consistency and lazy caching Janssen, Wil
1999
12 2-3 p. 105-127
artikel
8 Using CSP to verify sequential consistency Lowe, Gavin
1999
12 2-3 p. 91-103
artikel
                             8 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland