3 F. Tricas J. Martínez 1995 An extension of the liveness theory for concurrent sequential processes competing for shared resources IEEE Systems, Man and Cybernetics Society 4119-4124 10