Models for Concurrency (Algebra, Logic and Applications, Vol 11) - Image 1

£111.63

CRC Press Models for Concurrency (Algebra, Logic and Applications, Vol 11)

Name: Models for Concurrency (Algebra, Logic and Applications, Vol 11)
Brand: CRC Press
Price: 111.63 GBP
Availability: InStock

E-Commerce

This is the most expensive it has ever been. Walk away.

£112 today · previous high £112 · all-time low £111

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 72 days · 72 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 72 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £112 (43 days, 59.7%)

Price range: £111 - £112

Price levels: 2 different prices over 72 days

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.

Product Specifications

Brand: CRC Press
Format: hardcover
ASIN: 905699199X
Category: Books > Subjects > Business, Finance & Law > E-Commerce
Domain: Amazon UK
Release Date: 24 May 1999
Listed Since: 05 February 2007

Barcode

No barcode data available

CRC Press Models for Concurrency (Algebra, Logic and Applications, Vol 11)

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

CONCUR '98 Concurrency Theory: 9th International Conference, Nice, France, September 8-11, 1998, Proceedings: 1466 (Lecture Notes in Computer Science, 1466)

CONCUR '95 Concurrency Theory: 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings: 962 (Lecture Notes in Computer Science, 962)

Concurrency: State Models and Java Programs, 2nd Edition

Concurrent Programming: Algorithms, Principles, and Foundations

Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany

Concurrent Programming: Algorithms, Principles, and Foundations

A Decade of Concurrency: Reflections and Perspectives: Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - ... 803 (Lecture Notes in Computer Science, 803)

Concurrency 88: International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings: 335 (Lecture Notes in Computer Science, 335)

Springer Database Concurrency Control - Advances in Database Systems

Concurrency Verification: Introduction to Compositional and Noncompositional Methods: 54 (Cambridge Tracts in Theoretical Computer Science, Series Number 54)

Learn Concurrent Programming with Go

The Art of Java Concurrency: A Deep Dive into the Executor Framework

Springer Database Concurrency Control - Methods and Analysis

Concurrent Programming in Java: Design Principles and Pattern (Java Series)

Prentice Hall Communicating Sequential Processes Book

Prentice Hall Communicating Sequential Processes Book

Introduction to Concurrency in Programming Languages (Chapman & Hall/CRC Computational Science)

Manning C# Concurrency - Asynchronous and Multithreaded Guide

Concurrency with Modern C++: What every professional C++ programmer should know about concurrency.

Modern Multithreading: Implementing, Testing, and Debugging Multithreaded Java and C++/Pthreads/Win32 Programs

Synchronous Programming of Reactive Systems: 215 (The Springer International Series in Engineering and Computer Science, 215)

Concurrent and Parallel Computing: Theory, Implementation and Applications: Theory, Implementation & Applications

Concurrent and Real-time Systems: The CSP Approach (Worldwide Series in Computer Science)

Creating Components: Object Oriented, Concurrent, and Distributed Computing in Java