Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes and Their Relationship (Lecture Notes in Computer Science)
Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes and Their Relationship (Lecture Notes in Computer Science)
The hierarchical decomposition of programs into smaller ones is generally considered
Nav komentāru:
Ierakstīt komentāru