Brandenburg, Björn B. Group B. Brandenburg, Max Planck Institute for Software Systems, Max Planck Society;
https://drops.dagstuhl.de/opus/volltexte/2020/12369/ (Publisher version)
LIPIcs-ECRTS-2020-6.pdf (Publisher version), 3MB
Robb, J., & Brandenburg, B. B. (2020). Nested, but Separate: Isolating Unrelated Critical Sections in Real-Time Nested Locking. In M. Völp (Ed.), 32nd Euromicro Conference on Real-Time Systems (pp. 1-23). Wadern: Schloss Dagstuhl. doi:10.4230/LIPIcs.ECRTS.2020.6.