@misc{indiciae586883148cbd,
  title = {Modeling a Cache Coherence Protocol with the Guarded Action Language},
  author = {Quentin L. Meunier and Yann Thierry-Mieg and Emmanuelle Encrenaz},
  year = {2018},
  doi = {10.4204/eptcs.268.3},
  url = {https://arxiv.org/abs/1803.10323},
  note = {Source identifier: 1803.10323}
}