@inproceedings{PDP-1997-JellyMRSC,
	author        = "Innes Jelly and M. Mastroianni and Stefano Russo and Carlo Savy and Peter R. Croll",
	booktitle     = "{Proceedings of the Fifth Euromicro Workshop on Parallel and Distributed Processing}",
	isbn          = "[]",
	pages         = "351--357",
	publisher     = "{IEEE Computer Society}",
	title         = "{Detecting deadlock with client-server analysis}",
	year          = 1997,
}