BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Concurrent and Real-Time Systems: The CSP Approach
Stock photo: cover may vary

Concurrent and Real-Time Systems: The CSP Approach Paperback - 1999 - 1st Edition

by Steve Schneider

Add to wish list

Reader reviews for Concurrent and Real-Time Systems: The CSP Approach

Write a review for this book

There are no reviews for this book yet. Be the first to write a review!

Your review will be anonymous unless you login or create an account first.

Overall rating
Remember: You’re rating the book as a work, not the seller or the condition of the specific copy you purchased!

Important Terms and Guidelines

  • Please focus on the book’s content and context. Also, add any personal comments as to how you enjoyed the book. Substantiate your likes and dislikes. You may make comparisons to other books.
  • Reviews must be at least 140 characters in length.
  • Please do not reveal critical plot elements.
  • This is not a help line. Contact customer support if you need help.
Your review must not include:
  • Obscenities, discriminatory language, or other insulting language not suitable for public domain
  • Advertisements, “spam” content, or references to other products, offers or websites.
  • Email addresses, URLs, phone numbers, physical addresses or other contact information.
  • Overly critical comments about other reviews or reviewers
  • Time-sensitive material (i.e. promotional tours, seminars, lectures, etc.)
  • Availability, price, or alternative ordering/shipping information

From the publisher

Bisher gibt es relativ wenig Bcher, die sich auf einfhrendem Niveau mit CSP (Communicating Sequential Processes), einer Theorie parallel laufender Systeme ("concurrent systems"), beschftigen. Dieses Werk fllt eine Lcke; es ist das einzige gegenwrtig verfgbare Lehrbuch, an dem sich Dozenten orientieren knnen, die die Theorie solcher Systeme in vollem Umfang behandeln mchten. Eine ausgezeichnete Auswahl von Beispielen und bungen motiviert die Studenten, sich nher mit diesem schwierigen Fachgebiet zu beschftigen. (10/99)

First line

HASH(0x11150000)

From the rear cover

The CSP approach has been widely used in the specification, analysis and verification of concurrent and real-time systems, and for understanding the particular issues that can arise when concurrency is present. It provides a language which enables specifications and designs to be clearly expressed and understood, together with a supporting theory which allows them to be analysed and shown to be correct. This book supports advanced level courses on concurrency covering timed and untimed CSP. The first half introduces the language of CSP, the primary semantic models (traces, failures, divergences and infinite traces), and their use in the modelling, analysis and verification of concurrent systems. The second half of the book introduces time into the language, brings in the timed semantic model (timed failures) and finally presents the theory of timewise refinement which links the two halves together. Author's Website containing:
* Exercises and solutions
* Instructor's resources
* Example CSP programs to run on FDR and ProBe
* Links to useful sites

Details

  • Title Concurrent and Real-Time Systems: The CSP Approach
  • Author Steve Schneider
  • Binding Paperback
  • Edition number 1st
  • Edition 1
  • Pages 528
  • Volumes 1
  • Language ENG
  • Publisher Wiley
  • Publication date 1999-11-15
  • ISBN 9780471623731 / 0471623733
  • Weight 2.05 lbs (0.93 kg)
  • Dimensions 9.26 x 7.47 x 1.15 in (23.52 x 18.97 x 2.92 cm)
  • Category Computers - General Information
  • Library of Congress subjects Parallel processing (Electronic computers), Real-time data processing
  • Library of Congress Catalogue Number 99041795
  • Dewey Decimal Code 004.33

About the author

Steve Schneider is the author of Concurrent and Real-time Systems: The CSP Approach, published by Wiley.

Back to top↑

More Copies for Sale

Show all copies
Concurrent and Real-Time Systems : The CSP Approach
Stock photo: cover may vary

Concurrent and Real-Time Systems : The CSP Approach

by Schneider, Steve

  • Used
Condition
Used
ISBN 10 / ISBN 13
9780471623731 / 0471623733
Quantity available
2
Seller
Better World Books Ltd
Biblio Top Seller
Item price
A$10.26
A$10.27 Delivery to USA

Show details

Description:
Wiley & Sons, Incorporated, John. Used - Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Add to wish list
Item price
A$10.26
A$10.27 Delivery to USA
Concurrent and Real-Time Systems : The CSP Approach
Stock photo: cover may vary

Concurrent and Real-Time Systems : The CSP Approach

by Schneider, Steve

  • Used
Condition
Used
ISBN 10 / ISBN 13
9780471623731 / 0471623733
Quantity available
1
Seller
Better World Books Ltd
Biblio Top Seller
Item price
A$10.26
A$10.27 Delivery to USA

Show details

Description:
Wiley & Sons, Incorporated, John. Used - Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Add to wish list
Item price
A$10.26
A$10.27 Delivery to USA
Concurrent and Real-Time Systems : The CSP Approach
Stock photo: cover may vary

Concurrent and Real-Time Systems : The CSP Approach

by Schneider, Steve

  • Used
Condition
Used
ISBN 10 / ISBN 13
9780471623731 / 0471623733
Quantity available
1
Seller
Better World Books
Biblio Top Seller
Item price
A$15.98
Free Delivery to USA

Show details

Description:
Wiley & Sons, Incorporated, John. Used - Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Add to wish list
Item price
A$15.98
Free Delivery to USA
Concurrent and Real-time Systems: The CSP Approach
Stock photo: cover may vary

Concurrent and Real-time Systems: The CSP Approach

by Schneider, Steve

  • Used
  • Good
  • Paperback
Condition
Good
Binding
Paperback
ISBN 10 / ISBN 13
9780471623731 / 0471623733
Quantity available
1
Seller
Bonita
Item price
A$74.46
Free Delivery to USA

Show details

Description:
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Add to wish list
Item price
A$74.46
Free Delivery to USA
Concurrent and Real-time Systems: The CSP Approach

Concurrent and Real-time Systems: The CSP Approach

by Steve Schneider

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9780471623731 / 0471623733
Quantity available
10
Seller
The Saint Bookstore
Biblio Top Seller
Item price
A$122.28
A$19.22 Delivery to USA

Show details

Description:
Paperback / softback. New. This volume provides an elementary introduction to Communicating Sequential Processes (CSP) and its use as a formal method for understanding concurrency. Examples and exercises are presented throughout to aid teaching and to help motivate students studying this difficult subject.
Add to wish list
Item price
A$122.28
A$19.22 Delivery to USA
Concurrent and Real-time Systems: The CSP Approach

Concurrent and Real-time Systems: The CSP Approach

by Steve Schneider

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9780471623731 / 0471623733
Quantity available
10
Seller
The Saint Bookstore
Biblio Top Seller
Item price
A$129.89
A$19.22 Delivery to USA

Show details

Description:
Paperback / softback. New. This volume provides an elementary introduction to Communicating Sequential Processes (CSP) and its use as a formal method for understanding concurrency. Examples and exercises are presented throughout to aid teaching and to help motivate students studying this difficult subject.
Add to wish list
Item price
A$129.89
A$19.22 Delivery to USA
Concurrent and Real-Time Systems: The CSP Approach

Concurrent and Real-Time Systems: The CSP Approach

by Steve Schneider

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9780471623731 / 0471623733
Quantity available
786
Seller
Ria Christie Collections
Item price
A$133.60
A$15.44 Delivery to USA

Show details

Description:
Paperback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; N/A
Add to wish list
Item price
A$133.60
A$15.44 Delivery to USA
Concurrent and Real Time Systems
Stock photo: cover may vary

Concurrent and Real Time Systems

by Schneider, Steve,

  • Used
Condition
New
ISBN 10 / ISBN 13
9780471623731 / 0471623733
Quantity available
5
Seller
GreatBookPrices
Item price
A$127.61
A$5.86 Delivery to USA

Show details

Description:
like new.
Add to wish list
Item price
A$127.61
A$5.86 Delivery to USA
Concurrent and Real Time Systems
Stock photo: cover may vary

Concurrent and Real Time Systems

by Schneider, Steve,

  • New
Condition
New
ISBN 10 / ISBN 13
9780471623731 / 0471623733
Quantity available
5
Seller
GreatBookPrices
Item price
A$148.82
A$5.86 Delivery to USA

Show details

Description:
new.
Add to wish list
Item price
A$148.82
A$5.86 Delivery to USA
Concurrent and Real Time Systems
Stock photo: cover may vary

Concurrent and Real Time Systems

by S A Schneider Steve Schneider

  • New
Condition
New
ISBN 10 / ISBN 13
9780471623731 / 0471623733
Quantity available
3
Seller
Cold Books
Item price
A$189.13
A$5.86 Delivery to USA

Show details

Description:
John Wiley & Sons , pp. xv + 510 . Papeback. New.
Add to wish list
Item price
A$189.13
A$5.86 Delivery to USA
Show all copies
Back to top↑

Please wait a moment while we load the requested page.