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

• Main Author: Zwiers, J. (Author)
• Format: Book
• Language: English
• Published: Berlin Springer 1989
• Series: Lecture Notes in Computer Science 321
• Subjects: ΕΣΑ; COMPUTER NETWORKS; LNCS
• Item Description: Τομέας εφαρμογων και θεμελιώσεων της επιστήμης των υπολογιστών. Εργαστήριο συνδυαστικων αλγοριθμων
• Physical Description: vi,272p.: bibliography
• ISBN: 3 540 50845 7