Cargando…

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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Roscoe, A.W (Autor)
Autor Corporativo: SpringerLink (Online service)
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

Ejemplares similares