\relax 
\citation{MaSc94}
\citation{MaSc93b,Matt93}
\@writefile{toc}{\string\addvspace\space {10pt}}
\@writefile{toc}{{\string\raggedright\space \string\advance\space \string\rightskip\space by 2.55em\string\noindent\space \string\bf\space \string\boldmath\space Persistent Threads\string\endgraf\space }}
\@writefile{toc}{\string\contentsline\space {author}{\string\authcount\space {2}Florian Matthes \string\and\space Joachim\penalty \@M \ W.\penalty \@M \ Schmidt}{1}}
\@writefile{toc}{\string\addvspace\space {6pt}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1}Introduction}{1}}
\newlabel{Sec:Intro}{{1}{1}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2}Bindings in persistent systems}{2}}
\newlabel{Sec:Bindings}{{2}{2}}
\@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {2.1}{\ignorespaces Corresponding notions at different levels of conceptualization}}{2}}
\newlabel{Fig:Notions}{{2.1}{2}}
\citation{MMS92}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3}Programming with persistent threads}{3}}
\newlabel{Sec:Activity}{{3}{3}}
\citation{Nels91}
\citation{Matt93}
\citation{GMS87,Reut89,BDSSW93}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4}On thread implementation and formalization}{4}}
\newlabel{Sec:Semantics}{{4}{4}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {5}Concluding remarks}{4}}
\bibstyle{plain}
\bibdata{../dbis-macros,../florian}
\bibcite{BDSSW93}{1}
\bibcite{GMS87}{2}
\bibcite{Matt93}{3}
\bibcite{MMS92}{4}
\bibcite{MaSc93b}{5}
\bibcite{MaSc94}{6}
\bibcite{Nels91}{7}
\bibcite{Reut89}{8}