Process algebra semantics & reachability analysis for micro-architectural models of communication fabrics. - Sanne Wouda; Sebastiaan J. C. Joosten; Julien Schmaltz (MEMOCODE, 2015)