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]
@inproceedings{RealLC00,
title = {A semantics for dynamic ceiling priorities in Ada},
author = {Jorge Real and Albert Llamosí and Alfons Crespo},
year = {2000},
doi = {10.1145/374370.374388},
url = {https://doi.org/10.1145/374370.374388},
researchr = {https://researchr.org/publication/RealLC00},
cites = {0},
citedby = {0},
pages = {91-95},
booktitle = {Proceedings of the 10th International Workshop on Real-Time Ada, IRTAW 2000, Ávila, Spain, 2000},
editor = {Benjamin M. Brosgol and Michael González Harbour},
publisher = {ACM},
isbn = {978-1-4503-7327-2},
}