Concurrent Systems: Formal Development in Csp (The McGraw-Hill International Series in Software Engineering)

by: Michael G. Hinchey · Stephen A. Jarvis Paperback details (United States). ISBN: 978-0-07-707649-8 ISBN-10: 0-07-707649-4 McGraw-Hill · 1995