Compositionality, concurrency and partial correctness Proof theories for networks of processes, and ther relationship

• Κύριος συγγραφέας: Zwiers, J. (Συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin Springer 1989
• Σειρά: Lecture Notes in Computer Science 321
• Θέματα: ΕΣΑ; COMPUTER NETWORKS; LNCS