Concurrent systems : formal development in CSP
Author(s)
Bibliographic Information
Concurrent systems : formal development in CSP
(The McGraw-Hill international series in software engineering)
McGraw-Hill, c1995
Available at / 6 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references (p. 165-176) and index