Models for Concurrency
Series: Algebra, Logic;
- Publisher's listprice GBP 115.00
-
58 201 Ft (55 430 Ft + 5% VAT)
The price is estimated because at the time of ordering we do not know what conversion rates will apply to HUF / product currency when the book arrives. In case HUF is weaker, the price increases slightly, in case HUF is stronger, the price goes lower slightly.
- Discount 20% (cc. 11 640 Ft off)
- Discounted price 46 561 Ft (44 344 Ft + 5% VAT)
Subcribe now and take benefit of a favourable price.
Subscribe
58 201 Ft
Availability
Estimated delivery time: In stock at the publisher, but not at Prospero's office. Delivery time approx. 3-5 weeks.
Not in stock at Prospero.
Why don't you give exact delivery time?
Delivery time is estimated on our previous experiences. We give estimations only, because we order from outside Hungary, and the delivery time mainly depends on how quickly the publisher supplies the book. Faster or slower deliveries both happen, but we do our best to supply as quickly as possible.
Product details:
- Edition number 1
- Publisher CRC Press
- Date of Publication 24 May 1999
- ISBN 9789056991999
- Binding Hardback
- No. of pages248 pages
- Size 234x156 mm
- Weight 620 g
- Language English 0
Categories
Short description:
Models for Concurrency 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.
MoreLong description:
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.
Table of Contents:
PART I 1. System Executions 2. Semantics of Concurrent Protocols
PART II 1. On the Producer/Consumer Problem 2. Circular Buffers
PART III 1.Specification of Channels 2. A Sliding Window Protocol 3. Elements of Model Theory 4. Broadcasting and Causal Ordering 5. Uniform Deliveries
