3 search results - page 1 / 1 » About the globular homology of higher dimensional automata |
CORR
2000
Springer
14 years 11 months ago
2000
Springer
CORR
1999
Springer
14 years 11 months ago
1999
Springer
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...
CONCUR
2010
Springer
15 years 24 days ago
2010
Springer
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...