High‐level data races
- 21 November 2003
- journal article
- research article
- Published by Wiley in Software Testing, Verification and Reliability
- Vol. 13 (4) , 207-227
- https://doi.org/10.1002/stvr.281
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Types for atomicityACM SIGPLAN Notices, 2003
- Atomicity and isolation for transactional processesACM Transactions on Database Systems, 2002
- Formal analysis of a space-craft controller using SPINIEEE Transactions on Software Engineering, 2001
- Model checking JAVA programs using JAVA PathFinderInternational Journal on Software Tools for Technology Transfer, 2000
- Using Runtime Analysis to Guide Model Checking of Java ProgramsPublished by Springer Nature ,2000
- Model-Checking Multi-threaded Distributed Java ProgramsPublished by Springer Nature ,2000
- EraserACM Transactions on Computer Systems, 1997
- Lazy cachingACM Transactions on Programming Languages and Systems, 1993
- Linearizability: a correctness condition for concurrent objectsACM Transactions on Programming Languages and Systems, 1990
- The serializability of concurrent database updatesJournal of the ACM, 1979