Compositionality, concurrency and partial correctness Proof theories for networks of processes, and ther relationship
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin
Springer
1989
|
| Series: | Lecture Notes in Computer Science
321 |
| Subjects: |
