TY  - RPRT
TI  - Modeling a Cache Coherence Protocol with the Guarded Action Language
AU  - Quentin L. Meunier
AU  - Yann Thierry-Mieg
AU  - Emmanuelle Encrenaz
PY  - 2018
DO  - 10.4204/eptcs.268.3
UR  - https://arxiv.org/abs/1803.10323
ID  - 1803.10323
ER  -