dblp.uni-trier.dewww.uni-trier.de

Martin Raußen Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2006
6EELisbeth Fajstrup, Martin Raußen, Eric Goubault: Algebraic topology and concurrency. Theor. Comput. Sci. 357(1-3): 241-278 (2006)
5EEMartin Raußen: Deadlocks and dihomotopy in mutual exclusion models. Theor. Comput. Sci. 365(3): 247-257 (2006)
2004
4EELisbeth Fajstrup, Martin Raußen, Eric Goubault, Emmanuel Haucourt: Components of the Fundamental Category. Applied Categorical Structures 12(1): 81-108 (2004)
2002
3EEEric Goubault, Martin Raußen: Dihomotopy as a Tool in State Space Analysis. LATIN 2002: 16-37
2000
2 Martin Raußen: On the classification of dipaths in geometric models for concurrency. Mathematical Structures in Computer Science 10(4): 427-457 (2000)
1998
1EELisbeth Fajstrup, Eric Goubault, Martin Raußen: Detecting Deadlocks in Concurrent Systems. CONCUR 1998: 332-347

Coauthor Index

1Lisbeth Fajstrup [1] [4] [6]
2Eric Goubault [1] [3] [4] [6]
3Emmanuel Haucourt [4]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)