@inproceedings {TricasMartinez95SMC,
	title = {An Extension of the Liveness Theory for Concurrent Sequential Processes Competing for Shared Resources},
	year = {1995},
	month = {10},
	pages = {4119-4124},
	author = {F. Tricas and J. Mart{\'\i}nez}
}

