The Ceiling Protocol in Multi-Moded Real-Time Systems

Real Sáez Jorge Vicente, Andy Wellings

1999

Lecture Notes in Computer Science