@Article{Lampson:Redell:cacm:1980,
author = "B. Lampson and D. Redell",
title = "{Experience with processes and monitors in Mesa}",
journal = "Communications of the ACM",
volume = "23",
number = "2",
pages = "105--117",
month = feb,
year = "1980",
keywords = "Mesa, processes, monitors",
}
@Article{journals/tc/ShaRL90,
title = "Priority Inheritance Protocols: An Approach to
Real-Time Synchronization",
author = "S. Liu and R. Rajkumar and J. P. Lehoczky",
journal = "IEEE Trans. Computers",
year = "1990",
number = "9",
volume = "39",
bibdate = "2011-10-27",
bibsource = "DBLP,
http://dblp.uni-trier.de/db/journals/tc/tc39.html#ShaRL90",
pages = "1175--1185",
URL = "http://doi.ieeecomputersociety.org/10.1109/12.57058",
}
@MISC{yodaiken-july02,
author = {V. Yodaiken},
title = {Against Priority Inheritance},
month = July,
year = {2002},
howpublished={\url{http://www.linuxfordevices.com/files/misc/yodaiken-july02.pdf}},
}
@MISC{locke-july02,
author = {D. Locke},
title = {Priority Inheritance: The Real Story},
month = July,
year = {2002},
howpublished={\url{http://www.math.unipd.it/~tullio/SCD/2007/Materiale/Locke.pdf}},
}
@MISC{Faria08,
author = {J. M. S. Faria},
title = {Formal Development of Solutions for Real-Time Operating Systems with TLA+/TLC},
year = {2008},
howpublished={\url{http://repositorio-aberto.up.pt/bitstream/10216/11466/2/Texto%20integral.pdf}},
}
http://repositorio-aberto.up.pt/bitstream/10216/11466/2/Texto%20integral.pdf
@Article{Reeves-Glenn-1998,
title = "Re: What Really Happened on Mars?",
author = "G. Reeves",
journal = "Risks-Forum Digest",
year = "1998",
month = "January",
number = "58",
volume = "19",
}
@TechReport{dutertre99b,
title = "The {Priority Ceiling Protocol}: Formalization and
Analysis Using {PVS}",
author = "B. Dutertre",
month = Oct,
year = "1999",
institution = "System Design Laboratory, SRI International",
address = "Menlo Park, CA",
note = "Available at
\url{http://www.sdl.sri.com/dsa/publis/prio-ceiling.html}",
}
@InProceedings{conf/fase/JahierHR09,
title = "Synchronous Modeling and Validation of Priority
Inheritance Schedulers",
author = "E. Jahier and B. Halbwachs and P.
Raymond",
bibdate = "2009-04-01",
bibsource = "DBLP,
http://dblp.uni-trier.de/db/conf/fase/fase2009.html#JahierHR09",
booktitle = "FASE",
booktitle = "Fundamental Approaches to Software Engineering, 12th
International Conference, {FASE} 2009, Held as Part of
the Joint European Conferences on Theory and Practice
of Software, {ETAPS} 2009, York, {UK}, March 22-29,
2009. Proceedings",
publisher = "Springer",
year = "2009",
volume = "5503",
editor = "Marsha Chechik and Martin Wirsing",
ISBN = "978-3-642-00592-3",
pages = "140--154",
series = "Lecture Notes in Computer Science",
URL = "http://dx.doi.org/10.1007/978-3-642-00593-0",
}
@InProceedings{WellingsBSB07,
title = "Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java",
author = "A. J. Wellings and A. Burns and O. M. Santos and B. M. Brosgol",
publisher = "IEEE Computer Society",
year = "2007",
booktitle = "Proceedings of the 10th IEEE International Symposium on Object
and Component-Oriented Real-Time Distributed Computing",
pages = "115--123",
}
@Article{Wang:2002:SGP,
author = "Y. Wang and E. Anceaume and F. Brasileiro and F.
Greve and M. Hurfin",
title = "Solving the group priority inversion problem in a
timed asynchronous system",
journal = "IEEE Transactions on Computers",
volume = "51",
number = "8",
pages = "900--915",
month = aug,
year = "2002",
CODEN = "ITCOB4",
doi = "http://dx.doi.org/10.1109/TC.2002.1024738",
ISSN = "0018-9340 (print), 1557-9956 (electronic)",
issn-l = "0018-9340",
bibdate = "Tue Jul 5 09:41:56 MDT 2011",
bibsource = "http://www.computer.org/tc/;
http://www.math.utah.edu/pub/tex/bib/ieeetranscomput2000.bib",
URL = "http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=1024738",
acknowledgement = "Nelson H. F. Beebe, University of Utah, Department
of Mathematics, 110 LCB, 155 S 1400 E RM 233, Salt Lake
City, UT 84112-0090, USA, Tel: +1 801 581 5254, FAX: +1
801 581 4148, e-mail: \path|beebe@math.utah.edu|,
\path|beebe@acm.org|, \path|beebe@computer.org|
(Internet), URL:
\path|http://www.math.utah.edu/~beebe/|",
fjournal = "IEEE Transactions on Computers",
doi-url = "http://dx.doi.org/10.1109/TC.2002.1024738",
}
@Article{journals/rts/BabaogluMS93,
title = "A Formalization of Priority Inversion",
author = "{\"O} Babaoglu and K. Marzullo and F. B. Schneider",
journal = "Real-Time Systems",
year = "1993",
number = "4",
volume = "5",
bibdate = "2011-06-03",
bibsource = "DBLP,
http://dblp.uni-trier.de/db/journals/rts/rts5.html#BabaogluMS93",
pages = "285--303",
URL = "http://dx.doi.org/10.1007/BF01088832",
}