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

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

This monograph offers an software of ideas and techniques from algebraic topology to versions of concurrent processes in desktop technology and their analysis.

Taking recognized discrete types for concurrent tactics in source administration as some degree of departure, the e-book is going directly to refine combinatorial and topological types. within the procedure, it develops instruments and invariants for the hot self-discipline directed algebraic topology, that's pushed via basic learn pursuits in addition to via functions, essentially within the static research of concurrent programs.

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

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

Show description

Read Online or Download Directed Algebraic Topology and Concurrency (Springerbriefs in Applied Sciences and Technology / Springer) PDF

Similar machine theory books

Read e-book online Computability and Complexity Theory (Texts in Computer PDF

Meant to be used in an introductory graduate direction in theoretical laptop technological know-how, this article includes fabric that are meant to be middle wisdom within the thought of computation for all graduates in computing device technology. it really is self-contained and is most fitted for a one semester direction. The textual content starts off with classical computability idea which types the foundation for complexity thought.

Download PDF by Youssef Hamadi: Combinatorial Search: From Algorithms to Systems

Even though they're believed to be unsolvable more often than not, tractability effects recommend that a few functional NP-hard difficulties will be successfully solved. Combinatorial seek algorithms are designed to successfully discover the often huge resolution house of those cases by means of lowering the quest area to possible areas and utilizing heuristics to successfully discover those areas.

Download PDF by Hongseok Yang: Programming Languages and Systems: 26th European Symposium

This ebook constitutes the court cases of the twenty sixth eu Symposium on Programming, ESOP 2017, which came about in Uppsala, Sweden in April 2017, held as a part of the eu Joint meetings on idea and perform of software program, ETAPS 2017. The 36 papers offered during this quantity have been conscientiously reviewed and chosen from 112 submissions.

Robert Brijder,Lulu Qian's DNA Computing and Molecular Programming: 23rd International PDF

This booklet constitutes the refereed complaints of the 23th foreign convention on DNA Computing and Molecular Programming, DNA 23, held Austin, TX, united states, in September 2017. The sixteen complete papers offered have been rigorously chosen from 23 submissions. examine in DNA computing goals to attract jointly arithmetic, computerscience, physics, chemistry, biology, and nanotechnology to handle the research, layout, and synthesis of information-based molecular platforms.

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

Example text

Download PDF sample

Directed Algebraic Topology and Concurrency (Springerbriefs in Applied Sciences and Technology / Springer) by Lisbeth Fajstrup,Eric Goubault,Emmanuel Haucourt,Samuel Mimram,Martin Raussen

by John

Rated 4.65 of 5 – based on 12 votes