Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship /
The hierarchical decomposition of programs into smaller ones is generally considered imperative to master the complexity of large programs. The impact of this principle of program decomposition on the specification and verification of parallel executed programs is the subject of this monograph. Two...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
©1989.
|
| Series: | Lecture notes in computer science ;
321. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Search Result 1