Index: doc/theses/colby_parsons_MMAth/text/frontpgs.tex
===================================================================
--- doc/theses/colby_parsons_MMAth/text/frontpgs.tex	(revision 302a16cce1fad3d3040c2b36a30642240517bb64)
+++ doc/theses/colby_parsons_MMAth/text/frontpgs.tex	(revision 6c7227bd7a5e37eb8ac5fc0987a2113ebff2560f)
@@ -80,5 +80,10 @@
 Concurrent programs are notoriously hard to program and even harder to debug. Furthermore concurrent programs must be performant, as the introduction of concurrency into a program is often done to achieve some form of speedup.
 
-This thesis presents a suite of high-level concurrent-language features in the new programming language \CFA, all of which are implemented with the aim of improving the performance, productivity, and safety of concurrent programs. \CFA is a non object-oriented programming language that extends C. The foundation for concurrency in \CFA was laid by Thierry Delisle~\cite{Delisle18}, who implemented coroutines, user-level threads, and monitors. This thesis builds upon that work and introduces a suite of new concurrent features as its main contribution. The features include Go-like channels, mutex statements (similar to \CC scoped locks or Java synchronized statement), an actor system, and a Go-like select statement. The root ideas behind these features are not new, but the \CFA implementations extends the original ideas in performance, productivity, and safety.
+This thesis presents a suite of high-level concurrent-language features in the new programming-language \CFA, all of which are implemented with the aim of improving the performance, productivity, and safety of concurrent programs.
+\CFA is a non-object-oriented programming language that extends C.
+The foundation for concurrency in \CFA was laid by Thierry Delisle~\cite{Delisle18}, who implemented coroutines, user-level threads, and monitors.
+This thesis builds upon that work and introduces a suite of new concurrent features as its main contribution.
+The features include a @mutex@ statement (similar to a \CC scoped lock or Java \lstinline[language=Java]{synchronized} statement), Go-like channels and \lstinline[language=Go]{select} statement, and an actor system.
+The root ideas behind these features are not new, but the \CFA implementations extends the original ideas in performance, productivity, and safety.
 
 \cleardoublepage