Keyword:concurrency

Papers
Designing and Verifying Microservices Using CSP Jeremy Martin EasyChair Preprint no. 5390
Forward to a Promising Future Kiko Fernandez-Reyes, Dave Clarke, Elias Castegren and Huu-Phuc Vo EasyChair Preprint no. 113
Proving Simpson's Four-Slot Algorithm Using Ownership Transfer Shuling Wang and Xu Wang In:VERIFY-2010. 6th International Verification Workshop