Raftul cu initiativa Book Archive

Machine Theory

Directed Algebraic Topology and Concurrency by Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel

By Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen

This monograph offers an program of strategies and techniques from algebraic topology to types of concurrent processes in laptop technology and their analysis.

Taking famous discrete versions for concurrent procedures in source administration as some degree of departure, the booklet is going directly to refine combinatorial and topological types. within the technique, it develops instruments and invariants for the recent self-discipline directed algebraic topology, that is pushed by way of basic examine pursuits in addition to by means of functions, basically within the static research of concurrent programs.

The country house of a concurrent software is defined as a higher-dimensional house, the topology of which encodes the basic houses of the procedure. as a way to examine all attainable executions within the kingdom area, greater than “just” the topological houses must be thought of: Execution paths have to admire a partial order given by the point movement. for that reason, instruments and ideas from topology need to be prolonged to take privileged directions into account.

The audience for this ebook involves graduate scholars, researchers and practitioners within the box, mathematicians and desktop scientists alike.

Show description

Read Online or Download Directed Algebraic Topology and Concurrency PDF

Best machine theory books

Digital and Discrete Geometry: Theory and Algorithms

This ebook presents complete assurance of the fashionable tools for geometric difficulties within the computing sciences. It additionally covers concurrent issues in information sciences together with geometric processing, manifold studying, Google seek, cloud information, and R-tree for instant networks and BigData. the writer investigates electronic geometry and its similar optimistic tools in discrete geometry, providing designated tools and algorithms.

Artificial Intelligence and Symbolic Computation: 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings

This ebook constitutes the refereed complaints of the twelfth overseas convention on synthetic Intelligence and Symbolic Computation, AISC 2014, held in Seville, Spain, in December 2014. The 15 complete papers offered including 2 invited papers have been rigorously reviewed and chosen from 22 submissions.

Statistical Language and Speech Processing: Third International Conference, SLSP 2015, Budapest, Hungary, November 24-26, 2015, Proceedings

This e-book constitutes the refereed complaints of the 3rd overseas convention on Statistical Language and Speech Processing, SLSP 2015, held in Budapest, Hungary, in November 2015. The 26 complete papers offered including invited talks have been rigorously reviewed and chosen from seventy one submissions.

Extra resources for Directed Algebraic Topology and Concurrency

Example text

28 because it is unreachable for similar reasons as above (however, because of the specific programming language we chose, it can be shown that all deadlocks are discovered by the algorithm). Finally, consider the following program p whose pruned transition graph is shown on the right: 36 3 Truly Concurrent Models of Programs with Resources true p = sp while true do skip skip ¬true tp The end position tp is unreachable because the condition ¬true is never true. However, it is not discovered by the algorithm.

We will provide examples of programs with resources in the next sections, and many other can be found in [33]. 1 Conservative Programs In order to study the resource consumption of a program, we introduce the following notion which expresses the overall effect of a program on the resources. , the difference between the number of Va instructions and the number of Pa instructions encountered in an execution of p. It is defined by induction on p by Δ (A) Δ (Pa ) Δ (p;q) = = 0 −δ a = Δ (p) + Δ (q) Δ (if b then p else q) Δ (while b do p) = = Δ (skip) Δ (Va ) Δ (p||q) Δ (p) 0 = = = 0 δa Δ (p) + Δ (q) whenever Δ (p) = Δ (q) whenever Δ (p) = 0 where A is an arbitrary action.

2). 28 because it is unreachable for similar reasons as above (however, because of the specific programming language we chose, it can be shown that all deadlocks are discovered by the algorithm). Finally, consider the following program p whose pruned transition graph is shown on the right: 36 3 Truly Concurrent Models of Programs with Resources true p = sp while true do skip skip ¬true tp The end position tp is unreachable because the condition ¬true is never true. However, it is not discovered by the algorithm.

Download PDF sample

Rated 4.20 of 5 – based on 20 votes