Directed Algebraic Topology and Concurrency
-15%
portes grátis
Directed Algebraic Topology and Concurrency
Goubault, Eric; Mimram, Samuel; Haucourt, Emmanuel; Fajstrup, Lisbeth; Raussen, Martin
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
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.
