Search Sciweavers | Sciweavers

110 search results - page 1 / 22

» Domains of Higher-Dimensional Automata

Voted

CONCUR
1993
Springer

66views Distributed And Parallel Com...» more CONCUR 1993»

Domains of Higher-Dimensional Automata

15 years 1 months ago

Download boole.stanford.edu

Eric Goubault

claim paper

Read More »

click to vote

CORR
1999
Springer

139views Education» more CORR 1999»

Combinatorics of branchings in higher dimensional automata

14 years 9 months ago

Download www.tac.mta.ca

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

claim paper

Read More »

click to vote

CONCUR
2010
Springer

199views Distributed And Parallel Com...» more CONCUR 2010»

Modal Logic over Higher Dimensional Automata

14 years 10 months ago

Download www.ifi.uio.no

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

claim paper

Read More »

Voted

CORR
2000
Springer

88views Education» more CORR 2000»

About the globular homology of higher dimensional automata

14 years 9 months ago