A survey of support for structured communication in concurrency control models
A survey of support for structured communication in concurrency control models
Alexandre Skyrme,N. Rodriguez,R. Ierusalimschy
2014 · DOI: 10.1016/j.jpdc.2013.11.005
5 Citations
TLDR
This survey explores concurrency control models and evaluates how their characteristics contribute positively or negatively to the support for structured communication, focusing the evaluation on reasonability, which determines how easily programmers can reason about a concurrent program's execution.