Partial correctness of communicating processes and protocols /

Partial correctness of communicating processes and protocols /

Saved in:
Bibliographic Details
Main Author: Chen, Zhou Chao
Corporate Author: Oxford University Computing Laboratory. Programming Research Group
Other Authors: Hoare, C. A. R. (Charles Antony Richard)
Format: Book
Language:English
Published: Oxford : Oxford University Computing Laboratory, Programming Research Group, 1981.
Series:Technical monograph (Oxford University Computing Laboratory. Programming Research Group) ; PRG-20.
Subjects:
Parallel processing (Electronic computers)
Electronic digital computers > Programming.

CARM 1 Store

Holdings details from CARM 1 Store
Call Number: A2:AK07D0 C04980
Copy 1 Available  Place a Hold

Similar Items