Model-Checking of Correctness Conditions for Concurrent Objects
- 1 July 2000
- journal article
- Published by Elsevier in Information and Computation
- Vol. 160 (1-2) , 167-188
- https://doi.org/10.1006/inco.1999.2847
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Linearizability: a correctness condition for concurrent objectsACM Transactions on Programming Languages and Systems, 1990
- Characterizations of the decidability of some problems for regular trace languagesTheory of Computing Systems, 1989
- Maximal serializability of iterated transactionsTheoretical Computer Science, 1985
- How to Make a Multiprocessor Computer That Correctly Executes Multiprocess ProgramsIEEE Transactions on Computers, 1979