A calculus of total correctness for communicating processes /

A calculus of total correctness for communicating processes /

Saved in:
Bibliographic Details
Main Author: Hoare, C. A. R. (Charles Antony Richard)
Corporate Author: Oxford University Computing Laboratory. Programming Research Group
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-23.
Subjects:
Machine theory.
Formal languages.
Description
Physical Description:31 p. : ill. ; 21 cm.
Bibliography:Includes bibliographical references.

Similar Items