# HG changeset patch
# User urbanc
# Date 1328118396 0
# Node ID a821434474c975de8635253d0b1359d4f5a0ab0f
# Parent  22b6bd498419e19793a5eefb9a96f0d5f1eb855e
more on intro

diff -r 22b6bd498419 -r a821434474c9 prio/Paper/Paper.thy
--- 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 
diff -r 22b6bd498419 -r a821434474c9 prio/Paper/document/root.bib
--- a/prio/Paper/document/root.bib	Wed Feb 01 17:40:00 2012 +0000
+++ b/prio/Paper/document/root.bib	Wed Feb 01 17:46:36 2012 +0000
@@ -33,7 +33,7 @@
 }
 
 @Book{Vahalia96,
-  author =    {Uresh Vahalia},
+  author =    {U.~Vahalia},
   title =        {{UNIX} {I}nternals: the {N}ew {F}rontier},
   publisher =    {Prentice-Hall},
   year =         {1996}
@@ -157,23 +157,3 @@
   URL =  	"http://dx.doi.org/10.1007/BF01088832",
 }
 
-@Book{Vahalia:1996:UI,
-  author =	"U. Vahalia",
-  title =	"{UNIX} Internals, {The New Frontiers}",
-  publisher =	"Pren{\-}tice-Hall",
-  pages =	"xxxiii + 601",
-  year = 	"1996",
-  ISBN = 	"0-13-101908-2",
-  isbn-13 =	"978-0-13-101908-9",
-  LCCN = 	"QA76.76.063V33 1996",
-  bibdate =	"Mon Sep 23 08:50:16 1996",
-  price =	"US\$47.75",
-  acknowledgement = "Nelson H. F. Beebe, University of Utah, Department
-		 of Mathematics, 110 LCB, 155 S 1400 E RM 233, Salt Lake
-		 City, UT 84112-0090, USA, Tel: +1 801 581 5254, FAX: +1
-		 801 581 4148, e-mail: \path|beebe@math.utah.edu|,
-		 \path|beebe@acm.org|, \path|beebe@computer.org|
-		 (Internet), URL:
-		 \path|http://www.math.utah.edu/~beebe/|",
-  bibsource =	"http://www.math.utah.edu/pub/tex/bib/css.bib",
-}
\ No newline at end of file