Specification and analysis of concurrent systems The COSY approach

• Κύριοι συγγραφείς: Janicki, Ryszard (Συγγραφέας), Lauer, Peter E. (Συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin Springer-Verlag c1992
• Σειρά: EATCS Monographs in Theoretical Computer Science / W. Brauer, G. Rozenberg, A. Salomaa
• Θέματα: COMPLEX SYSTEMS; CONCURRENT SYSTEMS; COSY; PARALLEL PROGRAMMING