equal
deleted
inserted
replaced
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. |
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> |
|
97 (with Zhang and Wu) Submitted. |
|
98 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/pip.pdf">pdf</A>] |
|
99 |
|
100 |
96 <p><B>How to Prove False using the Variable Convention.</B> |
101 <p><B>How to Prove False using the Variable Convention.</B> |
97 Appears as a poster at TTVSI, 1 page. |
102 Appears as a poster at TTVSI, 1 page. |
98 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/mike-poster-abstract-08.pdf">pdf</A>] |
103 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/mike-poster-abstract-08.pdf">pdf</A>] |
99 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/mike-poster-08.pdf">poster</A>] |
104 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/mike-poster-08.pdf">poster</A>] |
100 |
105 |