equal
deleted
inserted
replaced
119 |
119 |
120 <p><b>Priority Inheritance Protocol Proved Correct.</B> |
120 <p><b>Priority Inheritance Protocol Proved Correct.</B> |
121 (with Zhang and Wu) In Proceedings of the 3rd Conference on Interactive |
121 (with Zhang and Wu) In Proceedings of the 3rd Conference on Interactive |
122 Theorem Proving (ITP 2012). In Volume 7406 of Lecture Notes in |
122 Theorem Proving (ITP 2012). In Volume 7406 of Lecture Notes in |
123 Computer Science. Pages 217-232. |
123 Computer Science. Pages 217-232. |
124 © <A HREF="http://link.springer.de/link/service/series/0558/tocs/t7406.htm">Springer Verlag</A> |
124 © <A HREF="http://link.springer.com/chapter/10.1007%2F978-3-642-32347-8_15">Springer Verlag</A> |
125 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/itp-12.pdf">pdf</A>]<BR><BR> |
125 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/itp-12.pdf">pdf</A>]<BR><BR> |
126 |
126 |
127 (In the published version is a bogus sentence after the definition |
127 (In the published version is a bogus sentence after the definition |
128 of detached and also a typo in the definition of schs. Both are corrected |
128 of detached and also a typo in the definition of schs. Both are corrected |
129 in the version above.) |
129 in the version above.) |