@phdthesis {Tricas03,
	title = {Deadlock Analysis, Prevention and Avoidance in Sequential Resource Allocation Systems},
	year = {2003},
	month = {5},
	type = {phd},
	author = {F. Tricas}
}

