Affinity-Based Thread and Data Mapping in Shared Memory Systems
Foundations of Session Types and Behavioural Contracts
Visual Menu Techniques