An Extension of the Liveness Theory for Concurrent Sequential Processes Competing for Shared Resources

TitleAn Extension of the Liveness Theory for Concurrent Sequential Processes Competing for Shared Resources
Publication TypeConference Paper
Year of Publication1995
AuthorsTricas, F, Martínez J
Date Published10
Export