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

by Fernando Tricas and J Martínez

Reference:

An Extension of the Liveness Theory for Concurrent Sequential Processes Competing for Shared Resources (Fernando Tricas and J Martínez), In Proc. of the 1995 IEEE Int. Conf. on Systems, Manand Cybernetics., 1995.

Bibtex Entry:

@inproceedings{TricasMartinez95SMC,
title = {An Extension of the Liveness Theory for Concurrent Sequential Processes Competing for Shared Resources},
author = {Fernando Tricas and J Martínez},
year  = {1995},
date = {1995-10-01},
booktitle = {Proc. of the 1995 IEEE Int. Conf. on Systems, Manand Cybernetics.},
pages = {4119--4124},
address = {Vancouver, Canada},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}