@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} }