20 results on '"Raußen, Martin"'
Search Results
2. BackMatter.
3. Directed Topological Models of Concurrency.
4. The Category of Components.
5. Algorithmics on Directed Spaces.
6. Path Spaces.
7. Introduction.
8. Truly Concurrent Models of Programs with Resources.
9. A Toy Language for Concurrency.
10. FrontMatter.
11. Trace Spaces: An Efficient New Technique for State-Space Reduction.
12. Perspectives.
13. Homology of spaces of directed paths on Euclidean cubical complexes.
14. Execution spaces for simple higher dimensional automata.
15. Detecting deadlocks in concurrent systems.
16. REPARAMETRIZATIONS WITH GIVEN STOP DATA.
17. Geometric analysis of nondeterminacy in dynamical systems.
18. Cyclic group actions on manifolds from deformations of rational homotopy types.
19. Hurewicz isomorphism and Whitehead theorems in pro-categories.
20. Symmetrien von Mannigfaltigkeiten und rationale Homotopietheorie.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.