# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1334675813 -3600
# Node ID 3f52b7ff7688ee6f76f7c461271c784d09e5b3a9
# Parent  792f907a1a16d411a70888b04efc08757d848a3b
updated paper

diff -r 792f907a1a16 -r 3f52b7ff7688 Publications/itp-12.pdf
Binary file Publications/itp-12.pdf has changed
diff -r 792f907a1a16 -r 3f52b7ff7688 Publications/pip.pdf
Binary file Publications/pip.pdf has changed
diff -r 792f907a1a16 -r 3f52b7ff7688 publications.html
--- a/publications.html	Sat Apr 14 04:46:41 2012 +0100
+++ b/publications.html	Tue Apr 17 16:16:53 2012 +0100
@@ -96,7 +96,7 @@
 <p><B>Priority Inheritance Protocol Proved Correct.</B> 
       (with Zhang and Wu) Accepted for publication at the ITP 2012 conference in
       Princeton.
-      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/pip.pdf">pdf</A>]
+      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/itp-12.pdf">pdf</A>]
 
 
 <p><B>How to Prove False using the Variable Convention.</B>