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: 75.68 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 88 days • 88 data points

Historical

Generating forecast...

Price Distribution

Price distribution over 88 days • 1 price levels

Days at Price

Price Analysis

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

Price range: £76 - £76

Price levels: 1 different prices over 88 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)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

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

Modeling in Event-B: System and Software Engineering

Process Algebra: Equational Theories of Communicating Processes: Series Number 50 (Cambridge Tracts in Theoretical Computer Science, Series Number 50)

Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude (Undergraduate Topics in Computer Science)

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

LATIN 2018: Theoretical Informatics: 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings: 10807 (Lecture Notes in Computer Science, 10807)

Topological Structure and Analysis of Interconnection Networks: 7 (Network Theory and Applications, 7)

Agents and Multi-Agent Systems: Technologies and Applications 2020: 14th KES International Conference, KES-AMSTA 2020, June 2020 Proceedings: 186 (Smart Innovation, Systems and Technologies, 186)

Continuous Lattices and Domains: 93 (Encyclopedia of Mathematics and its Applications, Series Number 93)

Models of Computation (Texts in Theoretical Computer Science. An EATCS Series)

Dynamic Reconfigurable Architectures and Transparent Optimization Techniques: Automatic Acceleration of Software Execution

The Real and Virtual Worlds of Spatial Planning

Dynamically Reconfigurable Systems: Architectures, Design Methods and Applications

Cooperating Heterogeneous Systems: 299 (The Springer International Series in Engineering and Computer Science)

Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies

A Course in Topological Combinatorics (Universitext)

Discrete Networked Dynamic Systems: Analysis and Performance

Readings in Computer Architecture (The Morgan Kaufmann Series in Computer Architecture and Design)

Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities

Introduction to Distributed Self-Stabilizing Algorithms (Synthesis Lectures on Distributed Computing Theory)

Proceedings of ECCS 2014: European Conference on Complex Systems (Springer Proceedings in Complexity)

Computational Complexity: A Quantitative Perspective (Volume 196) (North-Holland Mathematics Studies, Volume 196)

Algorithms and Theory of Computation Handbook, Volume 2: Special Topics and Techniques (Chapman & Hall/CRC Applied Algorithms and Data Structures series)