Coverart for item
The Resource Concurrent and real time systems : the CSP approach, Steve Schneider

Concurrent and real time systems : the CSP approach, Steve Schneider

Label
Concurrent and real time systems : the CSP approach
Title
Concurrent and real time systems
Title remainder
the CSP approach
Statement of responsibility
Steve Schneider
Creator
Subject
Language
eng
Cataloging source
DLC
http://library.link/vocab/creatorName
Schneider, Steve A
Illustrations
illustrations
Index
index present
Literary form
non fiction
Series statement
Worldwide series in computer science
http://library.link/vocab/subjectName
  • Parallel processing (Electronic computers)
  • Real-time data processing
Label
Concurrent and real time systems : the CSP approach, Steve Schneider
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Contents
  • Preface
  • Acknowledgements
  • 1.
  • Sequential processes.
  • p. 3
  • 2.
  • Concurrency.
  • p. 31
  • 3.
  • Abstraction and control flow.
  • p. 55
  • 4.
  • Traces.
  • p. 87
  • 5.
  • Specification and verification with traces.
  • p. 141
  • 6.
  • Stable failures.
  • p. 173
  • 7.
  • Specification and verification with failures.
  • p. 195
  • 8.
  • Failures, divergences, and infinite traces.
  • p. 221
  • 9.
  • timed language.
  • p. 267
  • 10.
  • Timed transition systems.
  • p. 313
  • 11.
  • Semantics of timed CSP.
  • p. 335
  • 12.
  • Timed specification and verification.
  • p. 369
  • 13.
  • Timewise refinement.
  • p. 399
  • App. A.
  • Event-based time.
  • p. 447
  • App. B.
  • Model-checking with FDR.
  • p. 469
  • References.
  • p. 485
  • Notation.
  • p. 493
  • Index.
  • p. 498
  • Index of Processes.
  • p. 507
Control code
980099041795
Dimensions
23 cm.
Extent
xv, 510 p
Isbn
9780471623731
Lccn
lc99041795
Other physical details
ill
Label
Concurrent and real time systems : the CSP approach, Steve Schneider
Publication
Bibliography note
Includes bibliographical references and index
Contents
  • Preface
  • Acknowledgements
  • 1.
  • Sequential processes.
  • p. 3
  • 2.
  • Concurrency.
  • p. 31
  • 3.
  • Abstraction and control flow.
  • p. 55
  • 4.
  • Traces.
  • p. 87
  • 5.
  • Specification and verification with traces.
  • p. 141
  • 6.
  • Stable failures.
  • p. 173
  • 7.
  • Specification and verification with failures.
  • p. 195
  • 8.
  • Failures, divergences, and infinite traces.
  • p. 221
  • 9.
  • timed language.
  • p. 267
  • 10.
  • Timed transition systems.
  • p. 313
  • 11.
  • Semantics of timed CSP.
  • p. 335
  • 12.
  • Timed specification and verification.
  • p. 369
  • 13.
  • Timewise refinement.
  • p. 399
  • App. A.
  • Event-based time.
  • p. 447
  • App. B.
  • Model-checking with FDR.
  • p. 469
  • References.
  • p. 485
  • Notation.
  • p. 493
  • Index.
  • p. 498
  • Index of Processes.
  • p. 507
Control code
980099041795
Dimensions
23 cm.
Extent
xv, 510 p
Isbn
9780471623731
Lccn
lc99041795
Other physical details
ill

Library Locations

    • Harold Cohen LibraryBorrow it
      Ashton Street, Liverpool, L69 3DA, GB
      53.418074 -2.967913
Processing Feedback ...