Specification and analysis of concurrent systems The COSY approach

• Main Authors: Janicki, Ryszard (Author), Lauer, Peter E. (Author)
• Format: Book
• Language: English
• Published: Berlin Springer-Verlag c1992
• Series: EATCS Monographs in Theoretical Computer Science / W. Brauer, G. Rozenberg, A. Salomaa
• Subjects: COMPLEX SYSTEMS; CONCURRENT SYSTEMS; COSY; PARALLEL PROGRAMMING
• Item Description: βιβλιογραφία σσ.407-422
• Physical Description: xii,480p. fig.
• ISBN: 3 540 55204 9