A arxiv.org Generalize Synchronization Mechanism: Specification, Properties, Limits 1 points eating555 3 years ago 0 comments