Models for Concurrency (Hardback)
  • Models for Concurrency (Hardback)
zoom

Models for Concurrency (Hardback)

(author)
£82.99
Hardback 250 Pages / Published: 24/05/1999
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Taylor & Francis Ltd
ISBN: 9789056991999
Number of pages: 250
Weight: 553 g
Dimensions: 235 x 159 x 19 mm

You may also be interested in...

How to Prove It
Added to basket
Category Theory
Added to basket
£38.99
Paperback
Logic for Dummies
Added to basket
£13.99
Paperback
An Introduction to Non-Classical Logic
Added to basket
Introducing Infinity
Added to basket
Set Theory
Added to basket
£14.50
Paperback
Godel's Proof
Added to basket
£9.99
Paperback
Logic
Added to basket
£10.99
Paperback
Sets, Logic and Categories
Added to basket
Conceptual Mathematics
Added to basket
The Foundations of Mathematics
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.