Using Lamport Clocks to Reason About Relaxed Memory Models

Multicast snooping: a new coherence method using a multicast address network

ISCA '99 Proceedings of the 26th annual international symposium on Computer architecture

A system-level specification framework for I/O architectures

Proceedings of the eleventh annual ACM symposium on Parallel algorithms and architectures

Specifying and Verifying a Broadcast and a Multicast Snooping Cache Coherence Protocol

IEEE Transactions on Parallel and Distributed Systems

Delta Coherence Protocols

IEEE Concurrency

A Specification and Verification Framework for Developing Weak Shared Memory Consistency Protocols

FMCAD '02 Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design

Proofs of Correctness of Cache-Coherence Protocols

FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity

Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking

CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification

TSOtool: A Program for Verifying Memory Systems Using the Memory Consistency Model

Proceedings of the 31st annual international symposium on Computer architecture

Efficient algorithms for verifying memory consistency

Proceedings of the seventeenth annual ACM symposium on Parallelism in algorithms and architectures

Verification of chip multiprocessor memory systems using a relaxed scoreboard

Proceedings of the 41st annual IEEE/ACM International Symposium on Microarchitecture

Validating power architecture™ technology-based MPSoCs through executable specifications

IEEE Transactions on Very Large Scale Integration (VLSI) Systems