Mercurial Mercurial > hg > regexp / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
prio/Paper/Paper.thy
changeset 276 a821434474c9
parent 275 22b6bd498419
child 277 541bfdf1fa36 
--- a/prio/Paper/Paper.thy	Wed Feb 01 17:40:00 2012 +0000
+++ b/prio/Paper/Paper.thy	Wed Feb 01 17:46:36 2012 +0000
@@ -499,7 +499,7 @@
   in Section \ref{model} does prevent indefinite priority inversion and therefore fulfills 
   the fundamental requirement of Priority Inheritance protocol. Another purpose of this paper 
   is to show how this model can be used to guide a concrete implementation. As discussed in
-  Section 5.6.5 of \cite{Vahalia:1996:UI}, the implementation of Priority Inheritance in Solaris 
+  Section 5.6.5 of \cite{Vahalia96}, the implementation of Priority Inheritance in Solaris 
   uses sophisticated linking data structure. Except discussing two scenarios to show how
   the data structure should be manipulated, a lot of details of the implementation are missing. 
   In \cite{Faria08,conf/fase/JahierHR09,WellingsBSB07} the protocol is described formally
regexp