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>