Merkliste 
 1 Ergebnisse 
 
1

Deadlocks and dihomotopy in mutual exclusion models:

Raußen, Martin
Theoretical Computer Science.  365 (2006)  3 - p. 247-257 , 2006