A Formalization of Priority Inversion. Babaoglu, Ö., Marzullo, K., & Schneider, F. B. Real Time Syst., 5(4):285-303, 1993.
A Formalization of Priority Inversion. [link]Link  A Formalization of Priority Inversion. [link]Paper  bibtex   
@article{journals/rts/BabaogluMS93,
  added-at = {2020-09-10T00:00:00.000+0200},
  author = {Babaoglu, Özalp and Marzullo, Keith and Schneider, Fred B.},
  biburl = {https://www.bibsonomy.org/bibtex/2e8419d00beffc144901805a4491b3d63/dblp},
  ee = {https://www.wikidata.org/entity/Q59491561},
  interhash = {0866d267295bddbb24411d8903157738},
  intrahash = {e8419d00beffc144901805a4491b3d63},
  journal = {Real Time Syst.},
  keywords = {dblp},
  number = 4,
  pages = {285-303},
  timestamp = {2020-09-11T11:43:19.000+0200},
  title = {A Formalization of Priority Inversion.},
  url = {http://dblp.uni-trier.de/db/journals/rts/rts5.html#BabaogluMS93},
  volume = 5,
  year = 1993
}

Downloads: 0