@inproceedings {RP-95-21,
	title = {An extension of the liveness theory for concurrent sequential processes competing for shared resources},
	year = {1995},
	month = {10},
	pages = {4119-4124},
	publisher = {IEEE Systems, Man and Cybernetics Society},
	organization = {IEEE Systems, Man and Cybernetics Society},
	author = {F. Tricas and J. Mart{\'\i}nez}
}

