An Intuitive and Efficient Semantics for Concurrent Programming Languages

Published --