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: |
ΒΚΠ - Πατρα: ALFe
| Call Number: |
004.6 ZWI |
|---|---|
| Copy 1 | Available |
