# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1356196530 0
# Node ID db02820fd0296d2033f3fea11f75a17d973035e0
# Parent  b82bb37cf1d309d0403da6d02ae97115bd588c1b
added

diff -r b82bb37cf1d3 -r db02820fd029 Publications/pip.pdf
Binary file Publications/pip.pdf has changed
diff -r b82bb37cf1d3 -r db02820fd029 publications.html
--- a/publications.html	Sat Dec 22 14:15:32 2012 +0000
+++ b/publications.html	Sat Dec 22 17:15:30 2012 +0000
@@ -88,6 +88,11 @@
       (with Wu and Zhang) Journal version. Submitted.
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/rexp.pdf">pdf</A>]
 
+<p><B>Priority Inheritance Protocol Proved Correct.</B> 
+      (with Zhang and Wu) Journal version. 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>]