Directed Algebraic Topology and Concurrency

Directed Algebraic Topology and Concurrency

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

Springer International Publishing AG

03/2016

167

Dura

Inglês

9783319153971

15 a 20 dias

3967

Descrição não disponível.

1 Introduction.- 2 A toy language for concurrency.- 3 Truly concurrent models of programs with resources.- 4 Directed topological models of concurrency.- 5 Algorithmics on directed spaces.\\

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

ALCOOL Tool;Concurrency Theory;Directed Algebraic Topology;Distributed Networks;Geometrical Models for Execution Spaces;Higher Dimensional Automata;Models for Concurrency;State space Reduction;Static Analysis of Concurrent Programs;complexity