13 results on '"Raußen, Martin"'
Search Results
2. The Category of Components
3. Algorithmics on Directed Spaces
4. Truly Concurrent Models of Programs with Resources
5. Directed Topological Models of Concurrency
6. A Toy Language for Concurrency
7. Introduction
8. Homology of Spaces of Directed Paths in Euclidean Pattern Spaces
9. Perspectives
10. Trace Spaces: An Efficient New Technique for State-Space Reduction
11. Detecting deadlocks in concurrent systems
12. Rational cohomology and homotopy of spaces with circle action
13. Smooth and locally linear g homotopy representations
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.