1 @Article{Lampson:Redell:cacm:1980, |
|
2 author = "B. Lampson and D. Redell", |
|
3 title = "{Experience with processes and monitors in Mesa}", |
|
4 journal = "Communications of the ACM", |
|
5 volume = "23", |
|
6 number = "2", |
|
7 pages = "105--117", |
|
8 month = feb, |
|
9 year = "1980", |
|
10 keywords = "Mesa, processes, monitors", |
|
11 } |
|
12 |
|
13 @Article{journals/tc/ShaRL90, |
|
14 title = "Priority Inheritance Protocols: An Approach to |
|
15 Real-Time Synchronization", |
|
16 author = "S. Liu and R. Rajkumar and J. P. Lehoczky", |
|
17 journal = "IEEE Trans. Computers", |
|
18 year = "1990", |
|
19 number = "9", |
|
20 volume = "39", |
|
21 bibdate = "2011-10-27", |
|
22 bibsource = "DBLP, |
|
23 http://dblp.uni-trier.de/db/journals/tc/tc39.html#ShaRL90", |
|
24 pages = "1175--1185", |
|
25 URL = "http://doi.ieeecomputersociety.org/10.1109/12.57058", |
|
26 } |
|
27 |
|
28 @MISC{Yodaiken02, |
1 @MISC{Yodaiken02, |
29 author = {V.~Yodaiken}, |
2 author = {V.~Yodaiken}, |
30 title = {{A}gainst {P}riority {I}nheritance}, |
3 title = {{A}gainst {P}riority {I}nheritance}, |
31 year = {2002}, |
4 year = {2002}, |
32 howpublished={\url{http://www.linuxfordevices.com/files/misc/yodaiken-july02.pdf}}, |
5 howpublished={\url{http://www.linuxfordevices.com/files/misc/yodaiken-july02.pdf}}, |
33 } |
6 } |
34 |
7 |
35 @Book{Vahalia96, |
8 @Book{Vahalia96, |
36 author = {U.~Vahalia}, |
9 author = {U.~Vahalia}, |
37 title = {{UNIX} {I}nternals: the {N}ew {F}rontier}, |
10 title = {{UNIX} {I}nternals: {T}he {N}ew {F}rontiers}, |
38 publisher = {Prentice-Hall}, |
11 publisher = {Prentice-Hall}, |
39 year = {1996} |
12 year = {1996} |
40 } |
13 } |
|
14 |
|
15 @Article{Reeves98, |
|
16 title = "{R}e: {W}hat {R}eally {H}appened on {M}ars?", |
|
17 author = "G.~E.~Reeves", |
|
18 journal = "Risks Forum", |
|
19 year = "1998", |
|
20 number = "54", |
|
21 volume = "19" |
|
22 } |
|
23 |
|
24 @Article{Sha90, |
|
25 title = "{P}riority {I}nheritance {P}rotocols: {A}n {A}pproach to |
|
26 {R}eal-{T}ime {S}ynchronization", |
|
27 author = "L.~Sha and R.~Rajkumar and J.~P.~Lehoczky", |
|
28 journal = "IEEE Transactions on Computers", |
|
29 year = "1990", |
|
30 number = "9", |
|
31 volume = "39", |
|
32 pages = "1175--1185" |
|
33 } |
|
34 |
|
35 |
|
36 @Article{Lampson80, |
|
37 author = "B.~W.~Lampson and D.~D.~Redell", |
|
38 title = "{{E}xperiences with {P}rocesses and {M}onitors in {M}esa}", |
|
39 journal = "Communications of the ACM", |
|
40 volume = "23", |
|
41 number = "2", |
|
42 pages = "105--117", |
|
43 year = "1980" |
|
44 } |
|
45 |
|
46 |
|
47 |
|
48 |
|
49 |
41 |
50 |
42 @MISC{locke-july02, |
51 @MISC{locke-july02, |
43 author = {D. Locke}, |
52 author = {D. Locke}, |
44 title = {Priority Inheritance: The Real Story}, |
53 title = {Priority Inheritance: The Real Story}, |
45 month = July, |
54 month = July, |
53 year = {2008}, |
62 year = {2008}, |
54 howpublished={\url{http://repositorio-aberto.up.pt/bitstream/10216/11466/2/Texto%20integral.pdf}}, |
63 howpublished={\url{http://repositorio-aberto.up.pt/bitstream/10216/11466/2/Texto%20integral.pdf}}, |
55 } |
64 } |
56 |
65 |
57 |
66 |
58 http://repositorio-aberto.up.pt/bitstream/10216/11466/2/Texto%20integral.pdf |
|
59 |
67 |
60 @Article{Reeves-Glenn-1998, |
68 |
61 title = "Re: What Really Happened on Mars?", |
|
62 author = "G. Reeves", |
|
63 journal = "Risks-Forum Digest", |
|
64 year = "1998", |
|
65 month = "January", |
|
66 number = "58", |
|
67 volume = "19", |
|
68 } |
|
69 |
69 |
70 @TechReport{dutertre99b, |
70 @TechReport{dutertre99b, |
71 title = "The {Priority Ceiling Protocol}: Formalization and |
71 title = "The {Priority Ceiling Protocol}: Formalization and |
72 Analysis Using {PVS}", |
72 Analysis Using {PVS}", |
73 author = "B. Dutertre", |
73 author = "B. Dutertre", |