0
Your cart

Your cart is empty

Books > Computing & IT > Computer hardware & operating systems

Buy Now

Models for Concurrency (Hardcover) Loot Price: R3,652
Discovery Miles 36 520
Models for Concurrency (Hardcover): Uri Abraham

Models for Concurrency (Hardcover)

Uri Abraham

 (sign in to rate)
Loot Price R3,652 Discovery Miles 36 520 | Repayment Terms: R342 pm x 12*

Bookmark and Share

Expected to ship within 12 - 17 working days

Concurrent systems are generally understood in terms of behavioral notions. Models for Concurrency analyzes the subject in terms of events and their temporal relationship rather than on global states. It presents a comprehensive analysis of model theory applied to concurrent protocols, and seeks to provide a theory of concurrency that is both intuitively appealing and rigorously based on mathematical foundations.
The book is divided into three main sections. The first introduces the required concepts from model theory, details the structures that are used to model concurrency, gives an in-depth description and explanation of the semantics of a simple language that allows concurrent execution of sequential programs, and deals with the question of resolving executions into higher-level and lower-level granularities. The second and third sections apply the theory developed to practical examples, and an exposition of the producer/consumer problem with details of two solutions is given. The author also deals with message passing, as opposed to shared memory.

General

Imprint: Taylor & Francis
Country of origin: United Kingdom
Release date: May 1999
First published: 1999
Authors: Uri Abraham
Dimensions: 234 x 156 x 19mm (L x W x T)
Format: Hardcover
Pages: 248
ISBN-13: 978-90-5699-199-9
Categories: Books > Computing & IT > Computer hardware & operating systems > General
Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
Promotions
LSN: 90-5699-199-X
Barcode: 9789056991999

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Managing Business Projects - The…
Frank Einhorn Paperback R515 Discovery Miles 5 150
Intelligent IT Outsourcing
Sara Cullen, Leslie Willcocks Paperback R2,020 Discovery Miles 20 200
TI-83 Plus Calculator
BarCharts Inc Fold-out book or chart R248 Discovery Miles 2 480
Mike Meyers' CompTIA A+ Guide to 802…
Mike Meyers Paperback R1,361 Discovery Miles 13 610
A Hobbyist's Guide to THEA500 Mini
Holger Wessling Hardcover R1,001 Discovery Miles 10 010
CompTIA A+ Certification All-in-One Exam…
Mike Meyers, Travis Everett, … Hardcover R1,388 Discovery Miles 13 880
Essential Windows 10: 1st Anniversary…
Kevin Wilson Paperback R468 R294 Discovery Miles 2 940
Edsger Wybe Dijkstra - His Life, Work…
Krzysztof R. Apt, Tony Hoare Hardcover R3,326 Discovery Miles 33 260
CSS and HTML for beginners - A Beginners…
Ethan Hall Hardcover R981 Discovery Miles 9 810
CSS For Beginners - The Best CSS Guide…
Ethan Hall Hardcover R1,023 R872 Discovery Miles 8 720
Kreislauf des Lebens
Jacob Moleschott Hardcover R1,305 Discovery Miles 13 050
Managing Resources for Futuristic…
Tariq Umer Hardcover R6,076 Discovery Miles 60 760

See more

Partners