110 search results - page 1 / 22 » Domains of Higher-Dimensional Automata |
83
Voted
CONCUR
1993
Springer
15 years 5 months ago
1993
Springer
101
Voted
CORR
1999
Springer
15 years 24 days 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...
120
Voted
CONCUR
2010
Springer
15 years 2 months 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...
74
Voted
CORR
2000
Springer
15 years 29 days ago
2000
Springer
82
Voted
MSCS
2000
15 years 27 days ago
2000
