Sanne Wouda

Publication Activity (10 Years)

Years Active: 2015-2015
Publications (10 Years): 0

Top Topics

Reachability Analysis

Architectural Models

Process Algebra

Communication Protocols

Top Venues

Publications

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