\documentstyle[12pt,mathsing]{book}
\input{tcc-macros}
\def\nowtm#1\then#2{\mbox{\bf now}_e\ #1\ \mbox{\bf then}_e\ #2}
\def\nowem#1\else#2{\mbox{\bf now}_e\ #1\ \mbox{\bf else}_e\ #2}
\newcommand{\mdow}[2]{\mbox{\bf do}\ #1\  \mbox{\bf watching}\ #2}
\newcommand{\clock}[2]{\mbox{\bf clock}\ #1\  \mbox{\bf do}\ #2}
\newcommand{\abort}{\mbox{\bf abort}}
\newcommand{\Skip}{\mbox{\bf skip}}
\def\tgentzen{{\ccfont Timed Gentzen}}
\def\gentzen{{\ccfont Gentzen}}
\def\Gentzen{{\ccfont Gentzen}}
\begin{document} 
\chapter{Programming in Timed Concurrent Constraint Languages}
\include{intro}
\include{synchro}
\include{tcc}
\include{general}
\include{tgentzen}
     %% There are more things to be said about the meta-interpreter.
\include{g-progg}
\include{g-implementation}
\include{conclusions}
\newpage
{\footnotesize 
\bibliography{/tilde/saraswat/bib/master-0,concurrency}
\bibliographystyle{alpha} 
}


\end{document} 
