Vijay Nagarajan

Identifiers

No identifiers captured yet.

Papers (1)

1. Verification of a lazy cache coherence protocol against a weak memory model cs.LO · 2017 · author #6

Mentions

No mention provenance yet.

Frequent Coauthors

• Christopher J. Banks 1 shared papers
• Marco Elver 1 shared papers
• Paul Jackson 1 shared papers
• Ruth Hoffmann 1 shared papers
• Susmit Sarkar 1 shared papers