Understanding Concurrent Systems

• Κύριος συγγραφέας: Roscoe, A.W (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : Springer London : Imprint: Springer, 2010.
• Σειρά: Texts in Computer Science,
• Θέματα: Computer science.; Operating systems (Computers).; Computer logic.; Computer Science.; Operating Systems.; Logics and Meanings of Programs.

Communicating Sequential Processes (CSP) has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes by C.A.R. Hoare in 1985. Both a programming language and a specification language, CSP helps users to understand...