Index: doc/papers/concurrency/Paper.tex
===================================================================
--- doc/papers/concurrency/Paper.tex	(revision 35a9e41d6e05a8702db938929f74e037c76ca010)
+++ doc/papers/concurrency/Paper.tex	(revision 2ebcb28d39c5081a5b63a5e1289832b9401dd1e9)
@@ -764,5 +764,5 @@
 };
 void main( Format & fmt ) with( fmt ) {
-	for ( ;; ) {
+	for ( ;; ) {	
 		for ( g = 0; g < 5; g += 1 ) {      // group
 			for ( b = 0; b < 4; b += 1 ) { // block
@@ -1309,6 +1309,6 @@
 void print( Tree & mutex tree ) {			$\C{// prefix traversal}$
 	// write value
-	print( tree->left );					$\C{// multiply acquire monitor lock for tree on each recursion}$
-	print( tree->right );
+	print( *tree->left );					$\C{// multiply acquire monitor lock for tree on each recursion}$
+	print( *tree->right );
 }
 \end{cfa}
@@ -1546,5 +1546,5 @@
 A thread blocks until an appropriate partner arrives.
 The complexity is exchanging phone numbers in the monitor because of the mutual-exclusion property.
-For signal scheduling, the @exchange@ condition is necessary to block the thread finding the match, while the matcher unblocks to take the opposite number, post its phone number, and unblock the partner.
+For signal scheduling, the @exchange@ condition is necessary to block the thread finding the match, while the matcher unblocks to take the opposite number, post its phone number, and unblock the partner. 
 For signal-block scheduling, the implicit urgent-queue replaces the explict @exchange@-condition and @signal_block@ puts the finding thread on the urgent condition and unblocks the matcher.
 
@@ -2089,5 +2089,5 @@
 In \CFA, ordering of monitor acquisition relies on memory ordering to prevent deadlock~\cite{Havender68}, because all objects have distinct non-overlapping memory layouts, and mutual-exclusion for a monitor is only defined for its lifetime.
 When a mutex call is made, pointers to the concerned monitors are aggregated into a variable-length array and sorted.
-This array persists for the entire duration of the mutual-exclusion and is used extensively for synchronization operations.
+This array persists for the entire duration of the mutual exclusion and is used extensively for synchronization operations.
 
 To improve performance and simplicity, context switching occurs inside a routine call, so only callee-saved registers are copied onto the stack and then the stack register is switched;
@@ -2170,5 +2170,6 @@
 \end{cfa}
 The method used to get time is @clock_gettime( CLOCK_REALTIME )@.
-Each benchmark is performed @N@ times, where @N@ varies depending on the benchmark, the total time is divided by @N@ to obtain the average time for a benchmark.
+Each benchmark is performed @N@ times, where @N@ varies depending on the benchmark;
+the total time is divided by @N@ to obtain the average time for a benchmark.
 All omitted tests for other languages are functionally identical to the shown \CFA test.
 
@@ -2228,11 +2229,11 @@
 \multicolumn{1}{c|}{} & \multicolumn{1}{c|}{Median} &\multicolumn{1}{c|}{Average} & \multicolumn{1}{c|}{Std Dev} \\
 \hline
-Kernel Thread	& 333.5	& 332.96	& 4.1 \\
-\CFA Coroutine	& 49		& 48.68	& 0.47    \\
-\CFA Thread		& 105		& 105.57	& 1.37 \\
-\uC Coroutine	& 44		& 44		& 0 \\
-\uC Thread		& 100		& 99.29	& 0.96 \\
-Goroutine		& 145		& 147.25	& 4.15 \\
-Java Thread		& 373.5	& 375.14	& 8.72 \\
+Kernel Thread	& 241.5		& 243.86	& 5.08 \\
+\CFA Coroutine	& 38		& 38		& 0    \\
+\CFA Thread		& 103		& 102.96	& 2.96 \\
+\uC Coroutine	& 46		& 45.86		& 0.35 \\
+\uC Thread		& 98		& 99.11		& 1.42 \\
+Goroutine		& 150		& 149.96	& 3.16 \\
+Java Thread		& 289		& 290.68	& 8.72 \\
 \hline
 \end{tabular}
@@ -2263,12 +2264,12 @@
 \multicolumn{1}{c|}{} & \multicolumn{1}{c|}{Median} &\multicolumn{1}{c|}{Average} & \multicolumn{1}{c|}{Std Dev} \\
 \hline
-C routine					& 2		& 2		& 0    \\
-FetchAdd + FetchSub			& 26		& 26		& 0    \\
-Pthreads Mutex Lock			& 31		& 31.71	& 0.97 \\
-\uC @monitor@ member routine		& 31		& 31		& 0    \\
-\CFA @mutex@ routine, 1 argument	& 46		& 46.68	& 0.93  \\
-\CFA @mutex@ routine, 2 argument	& 84		& 85.36	& 1.99 \\
-\CFA @mutex@ routine, 4 argument	& 158		& 161		& 4.22 \\
-Java synchronized routine		& 27.5	& 29.79	& 2.93  \\
+C routine							& 2			& 2			& 0    \\
+FetchAdd + FetchSub					& 26		& 26		& 0    \\
+Pthreads Mutex Lock					& 31		& 31.86		& 0.99 \\
+\uC @monitor@ member routine		& 30		& 30		& 0    \\
+\CFA @mutex@ routine, 1 argument	& 41		& 41.57		& 0.9  \\
+\CFA @mutex@ routine, 2 argument	& 76		& 76.96		& 1.57 \\
+\CFA @mutex@ routine, 4 argument	& 145		& 146.68	& 3.85 \\
+Java synchronized routine			& 27		& 28.57		& 2.6  \\
 \hline
 \end{tabular}
@@ -2315,9 +2316,9 @@
 }
 \end{cfa}
-\captionof{figure}{\CFA Internal scheduling benchmark}
+\captionof{figure}{\CFA Internal-scheduling benchmark}
 \label{f:int-sched}
 
 \centering
-\captionof{table}{Internal scheduling comparison (nanoseconds)}
+\captionof{table}{Internal-scheduling comparison (nanoseconds)}
 \label{tab:int-sched}
 \bigskip
@@ -2327,10 +2328,10 @@
 \multicolumn{1}{c|}{} & \multicolumn{1}{c|}{Median} &\multicolumn{1}{c|}{Average} & \multicolumn{1}{c|}{Std Dev} \\
 \hline
-Pthreads Condition Variable		& 6005	& 5681.43 	& 835.45 \\
-\uC @signal@					& 324		& 325.54 	& 3,02   \\
-\CFA @signal@, 1 @monitor@		& 368.5		& 370.61	& 4.77   \\
-\CFA @signal@, 2 @monitor@		& 467		& 470.5	& 6.79   \\
-\CFA @signal@, 4 @monitor@		& 700.5		& 702.46	& 7.23  \\
-Java @notify@					& 15471	& 172511	& 5689 \\
+Pthreads Condition Variable		& 5902.5	& 6093.29 	& 714.78 \\
+\uC @signal@					& 322		& 323	 	& 3.36   \\
+\CFA @signal@, 1 @monitor@		& 352.5		& 353.11	& 3.66   \\
+\CFA @signal@, 2 @monitor@		& 430		& 430.29	& 8.97   \\
+\CFA @signal@, 4 @monitor@		& 594.5		& 606.57	& 18.33  \\
+Java @notify@					& 13831.5	& 15698.21	& 4782.3 \\
 \hline
 \end{tabular}
@@ -2366,10 +2367,10 @@
 }
 \end{cfa}
-\captionof{figure}{\CFA external scheduling benchmark}
+\captionof{figure}{\CFA external-scheduling benchmark}
 \label{f:ext-sched}
 
 \centering
 
-\captionof{table}{External scheduling comparison (nanoseconds)}
+\captionof{table}{External-scheduling comparison (nanoseconds)}
 \label{tab:ext-sched}
 \bigskip
@@ -2378,8 +2379,8 @@
 \multicolumn{1}{c|}{} & \multicolumn{1}{c|}{Median} &\multicolumn{1}{c|}{Average} & \multicolumn{1}{c|}{Std Dev} \\
 \hline
-\uC @_Accept@				& 358		& 359.11	& 2.53  \\
-\CFA @waitfor@, 1 @monitor@	& 359		& 360.93	& 4.07  \\
-\CFA @waitfor@, 2 @monitor@	& 450		& 449.39	& 6.62  \\
-\CFA @waitfor@, 4 @monitor@	& 652		& 655.64	& 7.73 \\
+\uC @_Accept@				& 350		& 350.61	& 3.11  \\
+\CFA @waitfor@, 1 @monitor@	& 358.5		& 358.36	& 3.82  \\
+\CFA @waitfor@, 2 @monitor@	& 422		& 426.79	& 7.95  \\
+\CFA @waitfor@, 4 @monitor@	& 579.5		& 585.46	& 11.25 \\
 \hline
 \end{tabular}
@@ -2397,5 +2398,5 @@
 }
 \end{cfa}
-\captionof{figure}{\CFA object creation benchmark}
+\captionof{figure}{\CFA object-creation benchmark}
 \label{f:creation}
 
@@ -2410,12 +2411,12 @@
 \multicolumn{1}{c|}{} & \multicolumn{1}{c|}{Median} & \multicolumn{1}{c|}{Average} & \multicolumn{1}{c|}{Std Dev} \\
 \hline
-Pthreads				& 28091		& 28073.39	& 163.1  \\
-\CFA Coroutine Lazy		& 6			& 6.07		& 0.26   \\
-\CFA Coroutine Eager	& 520		& 520.61	& 2.04   \\
-\CFA Thread				& 2032	& 2016.29	& 112.07  \\
-\uC Coroutine			& 106		& 107.36	& 1.47   \\
-\uC Thread				& 536.5	& 537.07	& 4.64   \\
-Goroutine				& 3103	& 3086.29	& 90.25  \\
-Java Thread				& 103416.5	& 103732.29	& 1137 \\
+Pthreads				& 26996		& 26984.71	& 156.6  \\
+\CFA Coroutine Lazy		& 6			& 5.71		& 0.45   \\
+\CFA Coroutine Eager	& 708		& 706.68	& 4.82   \\
+\CFA Thread				& 1173.5	& 1176.18	& 15.18  \\
+\uC Coroutine			& 109		& 107.46	& 1.74   \\
+\uC Thread				& 526		& 530.89	& 9.73   \\
+Goroutine				& 2520.5	& 2530.93	& 61.56  \\
+Java Thread				& 91114.5	& 92272.79	& 961.58 \\
 \hline
 \end{tabular}
