Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols | Digital Library | PAMCET | PAMCET