Manuel Barrio-Solórzano Maria Encarnación Beato Gutiérrez Carlos Enrique Cuesta Quintero Pablo de la Fuente Formal Verification of Coherence for a Shared Memory Multiprocessor Model. 17-26 2001 conf/pact/2001 PaCT http://link.springer.de/link/service/series/0558/bibs/2127/21270017.htm db/conf/pact/pact2001.html#Barrio-SolorzanoBCF01