Herlihy M.P. and Wing J.L., Linearizability: a Correctness Condition for Concurrent Objects. ACM TOPLAS, 12(3):463-492, 1990. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
A Simulator for Concurrent Objects - Jeannette Wing And Self-citation (Wing) (Correct)
No context found.
M.P. Herlihy and J.M. Wing. Linearizability: A correctness condition for concurrent objects. Transactions on Programming Languages and Systems, 12(3), July 1990.
A Lazy Concurrent List-Based Set Algorithm - Heller, Herlihy, Luchangco.. (2005) Self-citation (Herlihy) (Correct)
No context found.
M. Herlihy and J. Wing. Linearizability: A correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems, 12(3):463-- 492, July 1990.
Allowing Atomic Objects to Coexist with - Sequentially Consistent Objects (2005) (Correct)
No context found.
Herlihy M.P. and Wing J.L., Linearizability: a Correctness Condition for Concurrent Objects. ACM TOPLAS, 12(3):463-492, 1990.
A Simple Protocol Offering Both Atomic Consistent Read.. - And Sequentially.. (2005) (Correct)
No context found.
Herlihy M.P. and Wing J.L., Linearizability: a Correctness Condition for Concurrent Objects. ACM Transactions on Programming Languages and Systems, 12(3):463-492, 1990.
Exploiting Linearizability in Program Logics" has been - Superseded By The (Correct)
No context found.
M. Herlihy and J. M. Wing. Linearizability: A correctness condition for concurrent objects. ACM Trans. Program. Lang. Syst., 12(3):463-- 492, 1990.
An Architecture for Dynamic Scalable Self-Managed.. - Anceaume, Friedman, .. (2004) (Correct)
No context found.
M. Herlihy and J. Wing. Linearizability: A correctness condition for concurrent objects. ACM Trans. on Programming Languages and Systems, 12(3):463--492, 1990.
Fault-Scalable Byzantine Fault-Tolerant Services - Michael Abd-El-Malek Gregory (Correct)
No context found.
M. P. Herlihy and J. M. Wing. Linearizability: a correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems, 12(3):463--492. ACM, July 1990.
Ursa Minor: versatile cluster-based storage - Michael Abd-El-Malek William (Correct)
No context found.
M. P. Herlihy and J. M. Wing. Linearizability: a correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems, 12(3):463--492. ACM, July 1990.
Lazy Verification in Fault-Tolerant Distributed Storage.. - Michael Abd-El-Malek.. (Correct)
No context found.
M. P. Herlihy and J. M. Wing. Linearizability: a correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems, 12(3):463--492. ACM, July 1990.
The Cost of Concurrent, Low-Contention Read-Modify-Write - Busch, Mavronicolas, Spirakis (Correct)
No context found.
M. Herlihy and J. Wing, "Linearizability: A Correctness Condition for Concurrent Objects," ACM Transactions on Programming Languages and Systems, Vol. 12, No. 3, pp. 463--492, 1990.
Monotone Operations and Monotone Groups - Busch, Mavronicolas, Spirakis (Correct)
No context found.
M. Herlihy and J. Wing, "Linearizability: A Correctness Condition for Concurrent Objects," ACM Transactions on Programming Languages and Systems, Vol. 12, No. 3, pp. 463--492, July 1990.
The Cost of Concurrent, Low-Contention Read&Modify&Write - Busch, Mavronicolas, Spirakis (2003) (Correct)
No context found.
M. Herlihy and J. Wing, "Linearizability: A Correctness Condition for Concurrent Objects, " ACM Transactions on Programming Languages and Systems, Vol. 12, No. 3, pp. 463--492, July 1990.
On the Benefits of the Functional Modular Approach to.. - FRIEDMAN, RAYNAL (2004) (Correct)
No context found.
M. Herlihy and J. Wing. Linearizability: A Correctness Condition for Concurrent Objects. ACM Trans. on Programming Languages and Systems, 12(3):463--492, 1990.
Lazy Verification in Fault-Tolerant Distributed Storage.. - Michael Abd-El-Malek.. (Correct)
No context found.
M. P. Herlihy and J. M. Wing. Linearizability: a correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems, 12(3):463--492. ACM, July 1990.
Ursa Minor: versatile cluster-based storage - Abd-El-Malek, II, Cranor.. (2005) (Correct)
No context found.
M. P. Herlihy and J. M. Wing. Linearizability: a correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems, 12(3):463--492. ACM, July 1990.
The Safety and Liveness Properties of a Protocol Family - For Versatile Survivable (Correct)
No context found.
Maurice P. Herlihy and Jeanette M. Wing. Linearizability: a correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems, 12(3):463--492. ACM, July 1990.
Byzantine-Tolerant Erasure-Coded Storage - Garth Goodson Jay (Correct)
No context found.
Maurice P. Herlihy and Jeanette M. Wing. Linearizability: a correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems, 12(3):463--492. ACM, July 1990.
Fault-Scalable Byzantine Fault-Tolerant Services - Michael Abd-El-Malek Gregory (Correct)
No context found.
M. P. Herlihy and J. M. Wing. Linearizability: a correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems, 12(3):463--492. ACM, July 1990.
Efficient Byzantine-tolerant erasure-coded storage - Garth Goodson Jay (2003) (6 citations) (Correct)
No context found.
Maurice P. Herlihy and Jeanette M. Wing. Linearizability: a correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems, 12(3):463--492. ACM, July 1990.
A Protocol Family for Versatile Survivable Storage - Infrastructures Garth Goodson (Correct)
No context found.
Maurice P. Herlihy and Jeanette M. Wing. Linearizability: a correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems, 12(3):463--492. ACM, July 1990.
Lazy Verification in Fault-Tolerant Distributed Storage.. - Michael Abd-El-Malek.. (Correct)
No context found.
M. P. Herlihy and J. M. Wing. Linearizability: a correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems, 12(3):463--492. ACM, July 1990.
Mitsubishi Electric Research Labs Cambridge Research Center.. - John Howard Tr (1993) (Correct)
No context found.
Herlihy, M. and Wing, J., "Linearizability: A Correctness Condition for Concurrent Objects",ACM Trans on Programming Languages and Systems 12, 3 (July 1990), 463-492.
Unknown - Symbolic Parallel Programming (Correct)
No context found.
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, July 1990. 159
Nonblocking Concurrent Data Structures with Condition.. - III, Scott (2004) (Correct)
No context found.
M. P. Herlihy and J. M. Wing. Linearizability: A Correctness Condition for Concurrent Objects. ACM Transactions on Programming Languages and Systems, 12(3):463--492, July 1990.
iSAN - An intelligent Storage Area Network Architecture - Narayan, Gopinath (2004) (Correct)
No context found.
Herlihy M.P and Wing J.M. Linearizability: a correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems, 12(3), October 1990.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC