A semantics for dynamic ceiling priorities in Ada

Jorge Real, Albert Llamosí, Alfons Crespo. A semantics for dynamic ceiling priorities in Ada. In Benjamin M. Brosgol, Michael González Harbour, editors, Proceedings of the 10th International Workshop on Real-Time Ada, IRTAW 2000, Ávila, Spain, 2000. pages 91-95, ACM, 2000. [doi]

Abstract

Abstract is missing.