Concurrent systems : formal development in CSP /

Bibliographic Details

Main Author:	Hinchey, Michael G. (Michael Gerard), 1969-
Other Authors:	Jarvis, Stephen A., 1970-
Format:	Book
Language:	English
Published:	London ; New York : McGraw-Hill, [1995]
Series:	McGraw-Hill international series in software engineering.
Subjects:	Parallel processing (Electronic computers)