Directed Algebraic Topology and Concurrency (Springerbriefs in Applied Sciences and Technology / Springer) - Image 1

£76.02

Springer Directed Algebraic Topology and Concurrency (Springerbriefs in Applied Sciences and Technology / Springer)

Name: Directed Algebraic Topology and Concurrency (Springerbriefs in Applied Sciences and Technology / Springer)
Brand: Springer
Price: 76.02 GBP
Availability: InStock

Architecture & Microprocessors

About as cheap as it gets. The only time it was cheaper was 2 months ago.

£76 today · all-time low £76 (Mar 2026) · usually the usual

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 42 days • 42 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 42 days • 1 price levels

Days at Price

Price Analysis

Most common price: £76 (42 days, 100.0%)

Price range: £76 - £76

Price levels: 1 different prices over 42 days

Description

This monograph presents an application of concepts and methods from algebraic topology to models of concurrent processes in computer science and their analysis. Taking well-known discrete models for concurrent processes in resource management as a point of departure, the book goes on to refine combinatorial and topological models. In the process, it develops tools and invariants for the new discipline directed algebraic topology, which is driven by fundamental research interests as well as by applications, primarily in the static analysis of concurrent programs. The state space of a concurrent program is described as a higher-dimensional space, the topology of which encodes the essential properties of the system. In order to analyse all possible executions in the state space, more than “just” the topological properties have to be considered: Execution paths need to respect a partial order given by the time flow. As a result, tools and concepts from topologyhave to be extended to take privileged directions into account. The target audience for this book consists of graduate students, researchers and practitioners in the field, mathematicians and computer scientists alike.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 3319153978
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 16 March 2016
Listed Since: 26 December 2014

Barcode

No barcode data available

Springer Directed Algebraic Topology and Concurrency (Springerbriefs in Applied Sciences and Technology / Springer)

About as cheap as it gets. The only time it was cheaper was 2 months ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Understanding Concurrent Systems (Texts in Computer Science)

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

STACS 93: 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings: 665 (Lecture Notes in Computer Science, 665)

Theories of Programming: The Life and Works of Tony Hoare (ACM Collection II)

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

Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

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

Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems (CRM Monograph Series)

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

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

Process Algebra for Parallel and Distributed Processing: 2 (Chapman & Hall/CRC Computational Science)

Distributed Computing Through Combinatorial Topology

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Springer - Petri Nets: Theoretical Models and Analysis Methods

Automatic Verification of Sequential Infinite-State Processes: 1354 (Lecture Notes in Computer Science, 1354)

System Modeling and Control with Resource-Oriented Petri Nets: 35 (Automation and Control Engineering)

An Atlas of Edge-Reversal Dynamics (Chapman & Hall/CRC Research Notes in Mathematics Series)

Nature-Inspired Networking: Theory and Applications

Handbook of Process Algebra

Supervisory Control and Scheduling of Resource Allocation Systems: Reachability Graph Perspective (IEEE Press Series on Systems Science and Engineering)

Formal Methods in Computer Science (Textbooks in Mathematics)

Understanding Control Flow: Concurrent Programming Using μC++

Supervisory Control of Concurrent Systems: A Petri Net Structural Approach (Systems & Control: Foundations & Applications)

Reconfigurable and Adaptive Computing: Theory and Applications