Model checking a cache coherence protocol of a Java DSM implementation
- 1 March 2007
- journal article
- Published by Elsevier BV in The Journal of Logic and Algebraic Programming
- Vol. 71 (1), 1-43
- https://doi.org/10.1016/j.jlap.2006.08.007
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Verification of a sliding window protocol in μ CRL and PVSFormal Aspects of Computing, 2005
- Distributed Branching Bisimulation Reduction of State SpacesElectronic Notes in Theoretical Computer Science, 2003
- Compressed and Distributed File Formats for Labeled Transition SystemsElectronic Notes in Theoretical Computer Science, 2003
- Efficient on-the-fly model-checking for regular alternation-free mu-calculusScience of Computer Programming, 2003
- Analysis of a distributed system for lifting trucksThe Journal of Logic and Algebraic Programming, 2002
- Core semantics of multithreaded JavaPublished by Association for Computing Machinery (ACM) ,2001
- Linearization in parallel pCRLThe Journal of Logic and Algebraic Programming, 2001
- Formal automatic verification of cache coherence in multiprocessors with relaxed memory modelsIEEE Transactions on Parallel and Distributed Systems, 2000
- Delayed consistency and its effects on the miss rate of parallel programsPublished by Association for Computing Machinery (ACM) ,1991
- How to Make a Multiprocessor Computer That Correctly Executes Multiprocess ProgramsIEEE Transactions on Computers, 1979