Behavioural types for non-uniform memory accesses

Juliana Franco, Sophia Drossopoulou

Concurrent programs executing on NUMA architectures consist of concurrent entities (e.g. threads, actors) and data placed on different nodes. Execution of these concurrent entities…