Top

Distributed Computing

Published in:

01-05-1999 | Original articles

Using CSP to verify sequential consistency

Authors: Gavin Lowe, Jim Davies

Published in: Distributed Computing | Issue 2-3/1999

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

previous article Cache consistency by design

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

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Title: Using CSP to verify sequential consistency
Authors: Gavin Lowe
Jim Davies
Publication date: 01-05-1999
Publisher: Springer-Verlag
Published in: Distributed Computing / Issue 2-3/1999
Print ISSN: 0178-2770
Electronic ISSN: 1432-0452
DOI: https://doi.org/10.1007/s004460050060

Springer Professional

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Other articles of this Issue 2-3/1999

Introduction

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

Proving refinement using transduction

Sequential consistency and the lazy caching algorithm

The compositional approach to sequential consistency and lazy caching

Lazy caching in TLA

Premium Partner