1995 …2024
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Projekter 2005 2024

Forskning

Structures of time directions

Fajstrup, L.

<ingen navn>

01/09/2009 → …

Projekter: ProjektForskning

Path
Algebraic topology
Topology
Subset
Lattice Theory

Directed lifting properties

Fajstrup, L. & Rosický, J.

<ingen navn>

01/09/2008 → …

Projekter: ProjektForskning

Path
Invariant
Correspondence
Imply
Clockwise

Directed algebraic topology and concurrency

Fajstrup, L., Fahrenberg, U. & Raussen, M.

19/05/2010 → …

Projekter: ProjektForskning

Geometric analysis of mutual exclusion models

Fajstrup, L. & Raussen, M.

19/05/2010 → …

Projekter: ProjektForskning

Deadlocks and critical regions in concurrent systems

Fajstrup, L. & Raussen, M.

01/01/200501/01/2005

Projekter: ProjektForskning