equal
deleted
inserted
replaced
83 <TR> |
83 <TR> |
84 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
84 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
85 <H3>Pending</H3> |
85 <H3>Pending</H3> |
86 |
86 |
87 <p><B>A Formalisation of the Myhill-Nerode Theorem based on Regular Expressions.</B> |
87 <p><B>A Formalisation of the Myhill-Nerode Theorem based on Regular Expressions.</B> |
88 (with Wu and Zhang) Journal version. Submitted. |
88 (with Wu and Zhang) Journal version. The first round of reviews has been positive. |
|
89 We are asked to make some modifications. |
89 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/rexp.pdf">pdf</A>] |
90 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/rexp.pdf">pdf</A>] |
90 |
91 |
91 <p><B>Priority Inheritance Protocol Proved Correct.</B> |
92 <p><B>Priority Inheritance Protocol Proved Correct.</B> |
92 (with Zhang and Wu) Journal version. Submitted. |
93 (with Zhang and Wu) Journal version. Submitted. |
93 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/pip.pdf">pdf</A>] |
94 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/pip.pdf">pdf</A>] |