Sciweavers

3 search results - page 1 / 1
» About the globular homology of higher dimensional automata
Sort
View
58
Voted
CORR
2000
Springer
88views Education» more  CORR 2000»
14 years 9 months ago
About the globular homology of higher dimensional automata
Philippe Gaucher
CORR
1999
Springer
139views Education» more  CORR 1999»
14 years 9 months ago
Combinatorics of branchings in higher dimensional automata
ABSTRACT. We explore the combinatorial properties of the branching areas of execution paths in higher dimensional automata. Mathematically, this means that we investigate the combi...
Philippe Gaucher
CONCUR
2010
Springer
14 years 10 months ago
Modal Logic over Higher Dimensional Automata
Higher dimensional automata (HDA) are a model of concurrency that can express most of the traditional partial order models like Mazurkiewicz traces, pomsets, event structures, or P...
Cristian Prisacariu