A calculus of total correctness for communicating processes
We couldn't estimate the reading time for this book.
Author
Contributions
- Oxford University Computing Laboratory. Programming Research Group. - Contributor
Publication
1981 - Oxford University, Computing Laboratory, Programming Research Group, Oxford, United Kingdom
Language
English
Subjects
Series Statement
- Technical monographs -- PRG-23
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!