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:
Operating systems (Computers).
Computer science.
Operating Systems.
Computer Science Logic and Foundations of Programming.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • A Foundation Course in CSP
  • Building a Simple Sequential Process
  • Understanding CSP
  • Parallel Operators
  • CSP Case Studies
  • Hiding and Renaming
  • Beyond Traces
  • Further Operators
  • Using FDR
  • Theory
  • Operational Semantics
  • Denotational Semantics and Behavioural Models
  • Finite Observation Models
  • Infinite-Behaviour Models
  • The Algebra of CSP
  • Using CSP in Practice
  • Timed Systems 1: tock-CSP
  • Timed Systems 2: Discrete Timed CSP
  • More About FDR
  • State Explosion and Parameterised Verification
  • Exploring Concurrency
  • Shared-Variable Programs
  • Understanding Shared-Variable Concurrency
  • Priority and Mobility.

Ejemplares similares