F. Tricas

An extension of the liveness theory for concurrent sequential processes competing for shared resources

F. Tricas, J. Martinez, 1995, 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century.