publications.html
changeset 530 4b861af5feab
parent 504 86be34de4742
child 531 ed66a60b10d3
--- a/publications.html	Thu Apr 19 14:05:48 2018 +0100
+++ b/publications.html	Wed Jun 27 13:59:43 2018 +0100
@@ -72,7 +72,7 @@
 <H3>Pending</H3>
 
 <p><B>Priority Inheritance Protocol Proved Correct.</B> 
-      (with Zhang and Wu) Journal version. Submitted.
+      (with Zhang and Wu) Journal version. Accepted.
       [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/pip.pdf">pdf</A>]
 
 <p><B>Modelling Homogeneous Generative Meta-Programming</B>