Specification and analysis of concurrent systems
Subtitle: the COSY approach
By: Ryszard Janicki, Peter E. Lauer.
Contributors: Lauer, Peter E., 1934-
Series: EATCS monographs on theoretical computer science ;; v. 26
Publisher: Springer-Verlag
Published: 1992
Place of publication: Berlin; New York
Language: eng
Number of pages: 480
Subjects: Parallel processing (Electronic computers)
Notes: Includes bibliographical references and index.