Directed Algebraic Topology and Concurrency

Directed Algebraic Topology and Concurrency

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

Springer International Publishing AG

04/2018

167

Mole

Inglês

9783319792170

15 a 20 dias

2818

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