Kalpa Publications

Author:Jeremy Martin

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

Keyphrases

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

Copyright © 2012-2023 easychair.org. All rights reserved.