equal
deleted
inserted
replaced
146 number = "9", |
146 number = "9", |
147 volume = "39", |
147 volume = "39", |
148 pages = "1175--1185" |
148 pages = "1175--1185" |
149 } |
149 } |
150 |
150 |
|
151 |
|
152 |
|
153 |
|
154 @TechReport{deinheritance, |
|
155 author = {P.~J.~Moylan and R.~E.~Betz and R.~H.~Middleton}, |
|
156 title = {{T}he {P}riority {D}isinheritance {P}roblem}, |
|
157 institution = {University of Newcastle}, |
|
158 number = {EE9345}, |
|
159 year = {1993} |
|
160 } |
|
161 |
|
162 |
|
163 @Book{book, |
|
164 author = {R.~Rajkumar}, |
|
165 title = {{S}ynchronization in {R}eal-{T}ime {S}ystems: |
|
166 {A} {P}riority {I}nheritance {A}pproach}, |
|
167 publisher = {Kluwer}, |
|
168 year = {1991} |
|
169 } |
151 |
170 |
152 @Article{Lampson80, |
171 @Article{Lampson80, |
153 author = "B.~W.~Lampson and D.~D.~Redell", |
172 author = "B.~W.~Lampson and D.~D.~Redell", |
154 title = "{{E}xperiences with {P}rocesses and {M}onitors in {M}esa}", |
173 title = "{{E}xperiences with {P}rocesses and {M}onitors in {M}esa}", |
155 journal = "Communications of the ACM", |
174 journal = "Communications of the ACM", |