Cover Image

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

Full description

Bibliographic Details
Main Author: Roscoe, A.W. (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic
Language:English
Published: London : Springer London : Imprint: Springer, 2010.
Series:Texts in Computer Science,
Subjects:
Computer science.
Operating systems (Computers).
Logic design.
Computer Science.
Operating Systems.
Logics and Meanings of Programs.
Online Access:https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-1-84882-258-0
Table of Contents:
  • Part I: 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
  • Part II: Theory
  • Operational Semantics
  • Denotational Semantics and Behavioural Models
  • Finite Observation Models
  • Infinite-behaviour Models
  • The Algebra of CSP
  • Part III: Using CSP
  • Timed Systems 1: tock-CSP
  • Timed Systems 2: Discrete Timed CSP
  • More About FDR
  • State Explosion and Parameterised Verification
  • Part IV: Exploring Concurrency
  • Shared-variable Programs
  • Understanding Shared-variable Concurrency
  • Priority and Mobility.

Similar Items