David Mentré, Daniel Le Métayer, Thierry Priol. Formalization and Verification of Coherence Protocols with the Gamma Framework. In PDSE. pages 105-113, 2000. [doi]
@inproceedings{MentreMP00,
title = {Formalization and Verification of Coherence Protocols with the Gamma Framework},
author = {David Mentré and Daniel Le Métayer and Thierry Priol},
year = {2000},
url = {http://computer.org/proceedings/pdse/0634/06340105abs.htm},
tags = {protocol},
researchr = {https://researchr.org/publication/MentreMP00},
cites = {0},
citedby = {0},
pages = {105-113},
booktitle = {PDSE},
}