equal
deleted
inserted
replaced
88 (with Wu and Zhang) Journal version. Submitted. |
88 (with Wu and Zhang) Journal version. Submitted. |
89 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/rexp.pdf">pdf</A>] |
89 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/rexp.pdf">pdf</A>] |
90 |
90 |
91 <p><B>General Bindings and Alpha-Equivalence in Nominal Isabelle.</B> |
91 <p><B>General Bindings and Alpha-Equivalence in Nominal Isabelle.</B> |
92 (with Kaliszyk) Accepted for publication in the Journal of Logical |
92 (with Kaliszyk) Accepted for publication in the Journal of Logical |
93 Methods in Computer Science. |
93 Methods in Computer Science, Volume 8 (2:14), 2012. |
94 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/lmcs.pdf">pdf</A>] |
94 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/lmcs.pdf">pdf</A>] |
95 |
95 |
96 <p><B>Priority Inheritance Protocol Proved Correct.</B> |
96 <p><B>Priority Inheritance Protocol Proved Correct.</B> |
97 (with Zhang and Wu) In Proceedings of the 3rd Conference on Interactive |
97 (with Zhang and Wu) In Proceedings of the 3rd Conference on Interactive |
98 Theorem Proving (ITP 2012). In Volume 7406 of Lecture Notes in |
98 Theorem Proving (ITP 2012). In Volume 7406 of Lecture Notes in |