An extension of the liveness theory for concurrent sequential processes competing for shared resources | Publicación