# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1329593573 0
# Node ID 282c3ce4d02ce8279c8538dc9a7394b99bbf82b0
# Parent  732fa6036e3c565b0645356428fd67969bb79711
added pip publication

diff -r 732fa6036e3c -r 282c3ce4d02c Publications/pip.pdf
Binary file Publications/pip.pdf has changed
diff -r 732fa6036e3c -r 282c3ce4d02c publications.html
--- a/publications.html	Fri Feb 17 02:40:08 2012 +0000
+++ b/publications.html	Sat Feb 18 19:32:53 2012 +0000
@@ -93,6 +93,11 @@
       Methods in Computer Science.
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/lmcs.pdf">pdf</A>]
 
+<p><B>Priority Inheritance Protocol Proved Correct.</B> 
+      (with Zhang and Wu) Submitted.
+      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/pip.pdf">pdf</A>]
+
+
 <p><B>How to Prove False using the Variable Convention.</B> 
      Appears as a poster at TTVSI, 1 page. 
      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/mike-poster-abstract-08.pdf">pdf</A>]