Understanding Concurrent Systems
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...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | |
Autor Corporativo: | |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
London :
Springer London : Imprint: Springer,
2010.
|
Edición: | 1st ed. 2010. |
Colección: | Texts in Computer Science,
|
Temas: | |
Acceso en línea: | Texto Completo |