Title: Compositionality, concurrency, and partial correctness
First published: 1989
Subjects: Parallel processing (Electronic computers), Automatic theorem proving
LC classification: QA76.5