Title: Concurrency, Compositionality, and Correctness
Subjects: Logic design, Computer science, Software engineering, Computer software, Parallel programming (Computer science), Computer programs, Correctness