Loading...

Understanding concurrent systems /

Bibliographic Details
Main Author: Roscoe, A. W.
Format: Printed Book
Language:English
Published: London ; New York : Springer, c2010.
Series:Texts in computer science,
Subjects:
Table of Contents:
  • Building a simple sequential process
  • Understanding CSP
  • Parallel operators
  • CSP case studies
  • Hiding and renaming
  • Beyond traces
  • Further operators
  • Using FDR
  • Operational semantics
  • Denotational semantics and behavioural models
  • Finite observation models
  • Infinite-behaviour models
  • The algebra of CSP
  • Timed systems 1 : tock-CSP
  • Timed systems 2 : discrete timed CSP
  • More about FDR
  • State explosion and parameterised verification
  • Shared-variable programs
  • Understanding shared-variable concurrency
  • Priority and mobility.