Keyword:race conditions

Papers
Designing and Verifying Microservices Using CSP Jeremy Martin EasyChair Preprint no. 5390