"Using CSP to Develop Quality Concurrent Software."

Derrick G. Kourie et al. (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics