Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their connection / Jakob Zwiers
Proefschrift Eindhoven
| rdfs:label | "Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their connection / Jakob Zwiers" |
| schema:name | "Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their connection" |
| schema:author | Zwiers, Jakob (1956-) |
| schema:description | "Proefschrift Eindhoven" |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
http:/ |
"1988" |
| schema:about |
<http:/ |
| Software | |
| computernetwerken | |
| Verification | |
| Computernetwerken | |
| Specification | |
|
schema:in |
"en" |
|
schema:number |
289 |
| schema:publication |
<https:/ |