Specification and analysis of concurrent systems : the COSY approach /

Bibliographic Details

Main Author:	Janicki, Ryszard
Other Authors:	Lauer, Peter E., 1934-
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1992]
Series:	EATCS monographs on theoretical computer science ; v. 26.
Subjects:	Parallel processing (Electronic computers)