LOCKE Detailed Specification Tables
  This document shows the detailed specification of LOCKE coherence protocol for each cache controller, using a table-based technique. This representation provides clear, concise visual information yet includes sufficient detail (e.g., transient states) arguably lacking in the traditional, graphical form of state diagrams. 
Lucia G. Menezo, Valentin Puente, Jose-Angel Gregorio
cs.AR