Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
MTZ-Fachkongress

Antriebe und Energiesysteme von morgen


Austausch von Automobil- und Energiewirtschaft

Am 14./15. Mai geht es in Chemnitz um die Mobilitätswende durch Elektro- und Wasserstofffahrzeuge.
Erweiterte Suche
Anmelden
nach oben

Distributed Computing

Ausgabe 2-3/1999

Inhalt (8 Artikel)

Editorial

Introduction

Michael Merritt

Original articles

Sequential consistency and the lazy caching algorithm

Rob Gerth

Original articles

Cache consistency by design

Ed Brinksma

Original articles

Using CSP to verify sequential consistency

Gavin Lowe, Jim Davies

Original articles

Characterization of a sequentially consistent memory and verification of a cache memory by abstraction

Susanne Graf

Original articles

The compositional approach to sequential consistency and lazy caching

Wil Janssen, Mannes Poel, Job Zwiers

Original articles

Proving refinement using transduction

Bengt Jonsson, Amir Pnueli, Camilla Rump

Original articles

Lazy caching in TLA

Peter Ladkin, Leslie Lamport, Bryan Olivier, Denis Roegel

Mär 99
Ausgabe: 1/1999
Sep 99
Ausgabe: 4/1999

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr

Premium Partner

    Bildnachweise