author | Christian Urban <urbanc@in.tum.de> |
Wed, 27 Jun 2018 13:59:43 +0100 | |
changeset 530 | 4b861af5feab |
parent 529 | 4f048db44f4d |
child 531 | ed66a60b10d3 |
publications.html | file | annotate | diff | comparison | revisions |
--- 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>