%0 Conference Paper %D 1995 %T An Extension of the Liveness Theory for Concurrent Sequential Processes Competing for Shared Resources %A F. Tricas %A J. Martínez %P 4119-4124 %8 10