equal
deleted
inserted
replaced
87 <p><B>Priority Inheritance Protocol Proved Correct.</B> |
87 <p><B>Priority Inheritance Protocol Proved Correct.</B> |
88 (with Zhang and Wu) Journal version. Submitted. |
88 (with Zhang and Wu) Journal version. Submitted. |
89 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/pip.pdf">pdf</A>] |
89 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/pip.pdf">pdf</A>] |
90 |
90 |
91 <p><B>POSIX Lexing with Derivatives of Regular Expressions</B> |
91 <p><B>POSIX Lexing with Derivatives of Regular Expressions</B> |
92 (with Ausaf and Dyckhoff) Accepted at ITP 2016. |
92 (with Ausaf and Dyckhoff) |
|
93 In Proceedings of the 7th International Conference on Interactive Theorem Proving (ITP 2016). |
|
94 In Volume <A HREF="https://link.springer.com/book/10.1007/978-3-319-43144-4">9807</A> |
|
95 of Lecture Notes in Computer Science. Pages 69-86. Springer Verlag, 2016. |
93 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/posix.pdf">pdf</A>] |
96 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/posix.pdf">pdf</A>] |
94 </TD> |
97 </TD> |
95 </TR> |
98 </TR> |
96 |
99 |
97 <TR> |
100 <TR> |