Subjective auxiliary state for coarse-grained concurrency | Publicación