Clarify synchronization primitives of Concert