Mercurial Mercurial > hg > public_html / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Mon, 27 May 2013 19:30:50 +0100
changeset 195 7695cc4ce14a
parent 194 a4418038199a
child 196 41d293f7ff05
updated
publications.html file | annotate | diff | comparison | revisions 
--- a/publications.html	Sat May 18 07:22:44 2013 +0100
+++ b/publications.html	Mon May 27 19:30:50 2013 +0100
@@ -85,7 +85,8 @@
 <H3>Pending</H3>
 
 <p><B>A Formalisation of the Myhill-Nerode Theorem based on Regular Expressions.</B> 
-      (with Wu and Zhang) Journal version. Submitted.
+      (with Wu and Zhang) Journal version. The first round of reviews has been positive. 
+      We are asked to make some modifications. 
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/rexp.pdf">pdf</A>]
 
 <p><B>Priority Inheritance Protocol Proved Correct.</B>
public_html