Deadlock models in distributed computation: foundations, design, and computational complexity.

Valmir Carneiro Barbosa, Alan Digo A. Carneiro, Fbio Protti, Uverton S. Souza

Browse the full SAC paper archive.