An extension of the liveness theory for concurrent sequential processes competing for shared resources
| Title | An extension of the liveness theory for concurrent sequential processes competing for shared resources |
| Publication Type | Conference Paper |
| Year of Publication | 1995 |
| Authors | Tricas, F, Martínez J |
| Date Published | 10 |
| Publisher | IEEE Systems, Man and Cybernetics Society |
| Export |
