Author:Jeremy Martin

Publications
EasyChair Preprint no. 5390

Keyphrases

concurrency, CSP, Microservices, model checking, race conditions.