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 |
Export |