|
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)
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
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..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
