A note on linearizability and the global time axiom

Parallel Processing Letters

Volumn 13, Issue 1, 2003, Pages 19-24

  Charron Bost, Bernadette ^a   Cori, Robert ^b  

^a ÉCOLE POLYTECHNIQUE   (France)

^b UNIVERSITÉ BORDEAUX 1   (France)

Author keywords

Compositionality; Concurrency; Distributed system; Global time; Linearizability; Shared memory

Indexed keywords

CONCURRENT ENGINEERING; DISTRIBUTED COMPUTER SYSTEMS; THEOREM PROVING;

GLOBAL TIME AXIOM;

LINEARIZATION;

EID: 0037364677     PISSN: 01296264     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0129626403001100     Document Type: Article

References (8)

1. [Ang89] Frank D. Anger. On Lamport's interprocessor communication model. ACM Transactions on Programming Languages and Systems, 11(3):404-417, July 1989.
2. [AW94] Hagit Attiya and Jennifer L. Welch. Sequential consistency versus linearizability. ACM Transactions on Computer Systems, 12(2):91-122, 1994.
3. [BD88] Shai Ben-David. The global-time assumption and semantics for concurrent systems. In Proceedings of the Seventh ACM Symposium on Principles of Distributed Computing, pages 223-232, August 1988.
4. [HW90] Maurice P. Herlihy and Jeannette M. Wing. Linearizability: A correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems, 12(3):463-492, 1990.
5. [Lam79] Leslie Lamport. How to make a multiprocessor computer that correct executes multiprocess programs. IEEE Transactions on Computers, C-28(9):690-691, September 1979.
6. [Lam86a] Leslie Lamport. On interprocess communication; part I: Basic formalism. Distributed Computing, 1(2):77-85, 1986.
7. [Lam86b] Leslie Lamport. On interprocess communication; part II: Algorithms. Distributed Computing, 1(2):86-101, 1986.
8. [Wie14] N. Wiener. A contribution to the theory of relative position. Proc. Camb. Philos. Soc., 17:441-449, June 1914.