equal
deleted
inserted
replaced
71 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
71 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
72 <H3>Pending</H3> |
72 <H3>Pending</H3> |
73 |
73 |
74 <p><B>Priority Inheritance Protocol Proved Correct.</B> |
74 <p><B>Priority Inheritance Protocol Proved Correct.</B> |
75 (with Zhang and Wu) Journal version. Accepted in Journal of Automated Reasoning. |
75 (with Zhang and Wu) Journal version. Accepted in Journal of Automated Reasoning. |
76 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/pip.pdf">pdf</A>] |
76 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/pip.pdf">pdf</A>] |
|
77 |
|
78 <p><B>POSIX Lexing with Derivatives of Regular Expressions.</B> |
|
79 (with Ausaf and Dyckhoff) Journal version. |
77 </TD> |
80 </TD> |
78 </TR> |
81 </TR> |
79 |
82 |
80 <TR> |
83 <TR> |
81 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
84 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |