“…In cases such as (1.1) above, where channels are reused, rudimentary analysis based on the free names of processes e.g., [1] are too coarse for adequate race detection. Moreover, these type based safety analyses e.g., [4,36] tend to avoid reasoning about data, approximating control over branching as a result.To reason about such interferences in the presence of channel reuse, we define a resourcesemantics for processes, based on linear input and output permissions. Every process is embellished with a set of permissions, ⌈P⌉ ρ , denoting that process P 'owns' the permissions in set ρ (cf.…”