@Inproceedings{EPTCS268.3,
  author    = {Meunier, Quentin L. and Thierry-Mieg, Yann and Encrenaz, Emmanuelle},
  year      = {2018},
  title     = {Modeling a Cache Coherence Protocol with the Guarded Action Language},
  editor    = {Gallagher, John P. and Glabbeek, Rob van and Serwe, Wendelin},
  booktitle = {{\rm Proceedings Third Workshop on}
               Models for Formal Analysis of Real Systems {\rm and Sixth International Workshop on} Verification and Program Transformation,
               {\rm Thessaloniki, Greece, 20th April 2018}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {268},
  publisher = {Open Publishing Association},
  pages     = {88-103},
  doi       = {10.4204/EPTCS.268.3},
}