Process algebra semantics & reachability analysis for micro-architectural models of communication fabrics.

Sanne Wouda, Sebastiaan J. C. Joosten, Julien Schmaltz

Browse the full MEMOCODE paper archive.