# LaTeX2HTML 96.1 (Feb 5, 1996)
# Associate images original text with physical files.

$key = q/{figure}[t]<verbatim_mark>verbatim31labelfig:pattern-quantifier-syntax{figure}/;
$cached_env_img{$key} = ' <IMG WIDTH=450 HEIGHT=486 ALIGN=BOTTOM ALT="figure2271" SRC="img24.gif"  > '; 
$key = q/{figure*}[t]epsfxsize=5.0invspace*2cmepsffilescreen-shotsdeadlock-code-browse.epslabelfig:main-window{figure*}/;
$cached_env_img{$key} = ' <IMG WIDTH=692 HEIGHT=526 ALIGN=BOTTOM ALT="figure1716" SRC="img11.gif"  > '; 
$key = q/{figure}[tp]<verbatim_mark>verbatim28labelfig:predicate-syntax{figure}/;
$cached_env_img{$key} = ' <IMG WIDTH=555 HEIGHT=188 ALIGN=BOTTOM ALT="figure2213" SRC="img23.gif"  > '; 
$key = q/{figure}frameitepsfxsize=5.0inepsfverbosetruecenterlineepsffilescreen-shotspipeline.epslabelfig:PipelineStructureframeit{figure}/;
$cached_env_img{$key} = ' <IMG WIDTH=736 HEIGHT=125 ALIGN=BOTTOM ALT="figure1876" SRC="img16.gif"  > '; 
$key = q/{figure}frameitepsfxsize=5.0inepsfverbosetruecenterlineepsffiletutorial-internal.epslabelfig:internalframeit{figure}/;
$cached_env_img{$key} = ' <IMG WIDTH=736 HEIGHT=346 ALIGN=BOTTOM ALT="figure1609" SRC="img2.gif"  > '; 
$key = q/{figure*}[t]epsfxsize=5.0invspace*2cmepsffilescreen-shotsdeadlock-code-browse.epslabelfig:deadlock-demo-code-browse{figure*}/;
$cached_env_img{$key} = ' <IMG WIDTH=692 HEIGHT=526 ALIGN=BOTTOM ALT="figure1829" SRC="img13.gif"  > '; 
$key = q/{tabular}|c|c|hlineOperatingSystem;SPMamp;<verb_mark>30<verb_mark>LocationhlineUNIXvariant;SPMamp;<verb_mark>31<verb_mark>Windows_inline$^TM$_inline9598Me;SPMamp;<verb_mark>32<verb_mark>Windows_inline$^TM$_inlineNT4.0;SPMamp;<verb_mark>33<verb_mark>Windows_inline$^TM$_inline2000;SPMamp;<verb_mark>34<verb_mark>hline{tabular}/;
$cached_env_img{$key} = ' <IMG WIDTH=577 HEIGHT=97 ALIGN=BOTTOM ALT="tabular1702" SRC="img10.gif"  > '; 
$key = q/{figure*}[t]epsfxsize=5.0invspace*2cmepsffilescreen-shotsdeadlock-sliced.epslabelfig:deadlock-sliced{figure*}/;
$cached_env_img{$key} = ' <IMG WIDTH=685 HEIGHT=470 ALIGN=BOTTOM ALT="figure1866" SRC="img15.gif"  > '; 
$key = q/{_inline}$I_1${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=12 HEIGHT=22 ALIGN=MIDDLE ALT="tex2html_wrap_inline4304" SRC="img7.gif"  > '; 
$key = q/{figure*}[t]epsfxsize=4.0inepsffilescreen-shotspipeline-pm.epslabelfig:pipeline-pm{figure*}/;
$cached_env_img{$key} = ' <IMG WIDTH=460 HEIGHT=569 ALIGN=BOTTOM ALT="figure1968" SRC="img18.gif"  > '; 
$key = q/{figure}[tp]<verbatim_mark>verbatim27labelfig:assertion-syntax{figure}/;
$cached_env_img{$key} = ' <IMG WIDTH=525 HEIGHT=170 ALIGN=BOTTOM ALT="figure2170" SRC="img22.gif"  > '; 
$key = q/{_inline}$I_2${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=13 HEIGHT=22 ALIGN=MIDDLE ALT="tex2html_wrap_inline4306" SRC="img8.gif"  > '; 
$key = q/{_inline}$t_i${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=10 HEIGHT=20 ALIGN=MIDDLE ALT="tex2html_wrap_inline4278" SRC="img4.gif"  > '; 
$key = q/{_inline}$^TM${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=23 HEIGHT=8 ALIGN=BOTTOM ALT="tex2html_wrap_inline4264" SRC="img1.gif"  > '; 
$key = q/{_inline}${t_1,...,t_n}${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=69 HEIGHT=24 ALIGN=MIDDLE ALT="tex2html_wrap_inline4274" SRC="img3.gif"  > '; 
$key = q/{_inline}$phi${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=8 HEIGHT=24 ALIGN=MIDDLE ALT="tex2html_wrap_inline4286" SRC="img5.gif"  > '; 
$key = q/{figure}[tp]centerleavevmodeepsfxsize=3inepsfboxbsl.epscenterlabelfig:BSL-org{figure}/;
$cached_env_img{$key} = ' <IMG WIDTH=343 HEIGHT=201 ALIGN=BOTTOM ALT="figure2125" SRC="img21.gif"  > '; 
$key = q/{figure*}[t]epsfxsize=5.0invspace*2cmepsffilescreen-shotsdeadlock-sm.epslabelfig:deadlock-demo-sm{figure*}/;
$cached_env_img{$key} = ' <IMG WIDTH=686 HEIGHT=476 ALIGN=BOTTOM ALT="figure1801" SRC="img12.gif"  > '; 
$key = q/{_inline}${mboxemphItemInVector,mboxemphItemNotInVector}${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=233 HEIGHT=24 ALIGN=MIDDLE ALT="tex2html_wrap_inline4302" SRC="img6.gif"  > '; 
$key = q/{figure*}[t]epsfxsize=5.0invspace*2cmepsffilescreen-shotspipeline-verified.epslabelfig:pipeline-verified{figure*}/;
$cached_env_img{$key} = ' <IMG WIDTH=734 HEIGHT=444 ALIGN=BOTTOM ALT="figure2003" SRC="img20.gif"  > '; 
$key = q/{figure*}[t]epsfxsize=5.0invspace*2cmepsffilescreen-shotspipeline-am.epslabelfig:pipeline-am{figure*}/;
$cached_env_img{$key} = ' <IMG WIDTH=686 HEIGHT=412 ALIGN=BOTTOM ALT="figure1988" SRC="img19.gif"  > '; 
$key = q/{figure*}[t]epsfxsize=5.0invspace*2cmepsffilescreen-shotsdeadlock-errortrace-start.epslabelfig:deadlock-demo-errortrace-start{figure*}/;
$cached_env_img{$key} = ' <IMG WIDTH=719 HEIGHT=639 ALIGN=BOTTOM ALT="figure1838" SRC="img14.gif"  > '; 

1;

