Understanding concurrent systems /

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Roscoe, A. W.
বিন্যাস: Printed Book
ভাষা:English
প্রকাশিত: London ; New York : Springer, c2010.
মালা:Texts in computer science,
বিষয়গুলি:
Parallel processing (Electronic computers)
Sequential processing (Computer science)
সূচিপত্রের সারণি:
  • 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.

অনুরূপ উপাদানগুলি