Items related to Theory And Practice Of Concurrency (Prentice-hall Internatio...

Theory And Practice Of Concurrency (Prentice-hall International Series in Computer Science)

 
9780136744092: Theory And Practice Of Concurrency (Prentice-hall International Series in Computer Science)

Synopsis

Since Professor Hoare's book Communicating Sequential Processes was first published, his notation has been extensively used for teaching and applying concurrency theory. The most significant development since then has been the emergence of tools to support the teaching and industrial application of CSP. This has turned CSP from a notation used mainly for toy examples into one which can and does support the description of industrial-sized problems. In order to understand the tools you need a good grasp of the fundamental concepts of CSP, therefore the book is, in the first instance, a text on the principles of the language rather than being a manual on how to apply its tools.

The Theory and Practice of Concurrency is divided into 3 sections. Part I is a foundation course on CSP, covering essentially the same material as the Hoare book, except that most of the mathematical theory has been omitted. It introduces the ideas behind the operational, denotational and algebraic models of CSP. Parts II and III go into more detail about the theory and practice of CSP. Either of them would make a one semester course or though they are independent of each other.

This book assumes no mathematical knowledge except for a basic understanding of sets, sequences and functions. Part I and III use no sophisticated mathematics, and the extra amount needed for Part II is contained within Appendix A (which introduces the theory of partial order and metric/restriction spaces).

The book brings substantial new insights into the important subjects of computer security, fault tolerance, real-time modelling, communications protocols and distributed databases. Each of these is supported by a case study and guidance on how to apply automated analysis to verify systems.

"synopsis" may belong to another edition of this title.

Buy Used

Condition: Good
Ships from the UK. Former library...
View this item

FREE shipping within United Kingdom

Destination, rates & speeds

Search results for Theory And Practice Of Concurrency (Prentice-hall Internatio...

Stock Image

Roscoe, A.
Published by Prentice Hall PTR, 1997
ISBN 10: 0136744095 ISBN 13: 9780136744092
Used

Seller: Better World Books Ltd, Dunfermline, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Good. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Seller Inventory # GRP90079480

Contact seller

Buy Used

£ 5.94
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Roscoe, A.W.
Published by Prentice Hall, 1997
ISBN 10: 0136744095 ISBN 13: 9780136744092
Used

Seller: WeBuyBooks, Rossendale, LANCS, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned. A tan to the pages. Seller Inventory # wbs9575016360

Contact seller

Buy Used

£ 4.12
Convert currency
Shipping: £ 2.20
Within United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

A. W. Roscoe
Published by Prentice Hall, 1997
ISBN 10: 0136744095 ISBN 13: 9780136744092
Used

Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Unknown. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 2.15. Seller Inventory # G0136744095I3N00

Contact seller

Buy Used

£ 11.28
Convert currency
Shipping: £ 14.50
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

A. W. Roscoe
Published by Prentice Hall, 1997
ISBN 10: 0136744095 ISBN 13: 9780136744092
Used

Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Unknown. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 2.15. Seller Inventory # G0136744095I4N00

Contact seller

Buy Used

£ 11.28
Convert currency
Shipping: £ 14.50
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Roscoe, A. W.
Published by Prentice Hall, 1997
ISBN 10: 0136744095 ISBN 13: 9780136744092
Used paperback

Seller: HPB-Red, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_375653581

Contact seller

Buy Used

£ 8.28
Convert currency
Shipping: £ 85.21
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

SIN AUTOR
Published by PEARSON EDUCACION, 1997
ISBN 10: 0136744095 ISBN 13: 9780136744092
Used Softcover

Seller: OM Books, Sevilla, SE, Spain

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: usado - bueno. Seller Inventory # 9780136744092

Contact seller

Buy Used

£ 564.16
Convert currency
Shipping: £ 15.17
From Spain to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket