Directed Algebraic Topology and Concurrency

Name: Directed Algebraic Topology and Concurrency
SKU: 23128662
Price: 288.00 NZD
Availability: InStock

By:

Format:

Hardback

Series:

Springerbriefs in Applied Sciences and Technology

Show Hide Adult Content

$288.00

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Free Delivery with Primate

Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $72.00 with Afterpay Learn more

6 weekly interest-free payments of $48.00 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

Around 25 Jun - 5 Jul using International Courier

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 topology have 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.

Release date NZ

March 2nd, 2016

Author

Series

Springerbriefs in Applied Sciences and Technology

Pages

167

Audience

Professional & Vocational

Illustrations

1 black & white illustrations, biography

Publisher

Springer International Publishing AG

Country of Publication

Switzerland

Imprint

Springer International Publishing AG

Dimensions

155x235x11

ISBN-13

9783319153971

Product ID

23128662

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Get free delivery, exclusive deals, and more^*

Non-Fiction Books:

Directed Algebraic Topology and Concurrency

By:

Format:

Series:

Buy Now, Pay Later with:

Availability

Description

Customer reviews

Marketplace listings

Help & options

Filed under...

Get free delivery, exclusive deals, and more*

Buy Now, Pay Later with:

Get free delivery, exclusive deals, and more^*