A. Burns;A. J. Wellings
-;-
A formal definition of priority in CSP
ACM Transactions on Programming Languages and Systems (TOPLAS)
Capsules: A Shared Memory Access Mechanism for Concurrent C/C++
IEEE Transactions on Parallel and Distributed Systems