This is TeX, C Version 3.141 (format=lplain 92.4.28)  20 OCT 1995 06:46
**main
(main.tex
LaTeX Version 2.09 <18 March 1992>
(hLNCS.sty
Document Style `llncs', <version 1.1>
\c@part=\count79
\c@section=\count80
\c@subsection=\count81
\c@subsubsection=\count82
\c@paragraph=\count83
\c@figure=\count84
\c@table=\count85
\c@@inst=\count86
\c@@auth=\count87
\c@theorem=\count88
\c@example=\count89
\c@problem=\count90
) (/usr/local/lib/tex/inputs/fleqn.sty
Document style option `fleqn' - Released 04 Nov 91
\mathindent=\dimen99
) (/usr/local/lib/tex/inputs/epic.sty
Enhancements to Picture Environment. Version 1.2 - Released June 1, 1986
\@@multicnt=\count91
\d@lta=\count92
\@delta=\dimen100
\@@delta=\dimen101
\@gridcnt=\count93
\@joinkind=\count94
\@dotgap=\dimen102
\@ddotgap=\dimen103
\@x@diff=\count95
\@y@diff=\count96
\x@diff=\dimen104
\y@diff=\dimen105
\@dotbox=\box25
\num@segments=\count97
\num@segmentsi=\count98
\@datafile=\read1
) (/usr/local/lib/tex/inputs/eepic.sty
Extension to Epic and LaTeX. Version 1.1b - Released Febrary 7, 1988
\@gphlinewidth=\count99
\@eepictcnt=\count100
\@tempdimc=\dimen106
\maxovaldiam=\dimen107
\@filltype=\box26
) (lmacs.tex (zmdefs.tex)
\c@claim=\count101
\offdimen=\dimen108
\fskipindent=\dimen109
\fsizex=\dimen110
\fskip=\dimen111
\fsize=\dimen112
) (main.aux) (header.tex) (intro.tex [1

] [2] [3]
Underfull \hbox (badness 1377) in paragraph at lines 166--166
[]\tenit refer to the two Hen-

\hbox(6.94444+1.94444)x107.0, glue set 2.4005
.\hbox(0.0+0.0)x0.0
.\tenit r
.\kern-0.51112
.\tenit e
.\tenit f
.etc.

) (cts.tex [4] [5] (2systems.pstex_t)
Overfull \hbox (1.53607pt too wide) detected at line 204
[]

\hbox(14.52423+9.52423)x347.12354
.\vbox(14.52423+9.52423)x348.6596
..\hbox(8.39996+3.60004)x348.6596
...\glue(\tabskip) 0.0
...\hbox(8.39996+3.60004)x24.98483 []
...\glue(\tabskip) 0.0
...\hbox(8.39996+3.60004)x323.67477, glue set 17.0379fil []
...\glue(\tabskip) 0.0
..\glue(\lineskip) 0.0
..\hbox(8.44843+3.60004)x348.6596
...\glue(\tabskip) 0.0
...\hbox(8.44843+3.60004)x24.98483 []
...\glue(\tabskip) 0.0
...\hbox(8.44843+3.60004)x323.67477 []
...\glue(\tabskip) 0.0

[6]) (programs.tex [7] [8] [9] [10]) (safety.tex [11] [12] [13] (d1.pstex_t)
[14]
Overfull \hbox (0.8754pt too wide) in paragraph at lines 214--218
[]\tenrm Let $\tenmi D[]$ \tenrm be a ver-i-fi-ca-tion di-a-gram as-so-ci-ated 
with a pro-gram $\tenmi P$\tenrm . Let $\tenmi '[]; [] ; '[]$

\hbox(6.94444+2.50555)x347.12354, glue set - 1.0
.\hbox(0.0+0.0)x15.00002
.\tenrm L
.\tenrm e
.\tenrm t
.\glue 3.33333 plus 1.66666 minus 1.11111
.etc.

(d2.pstex_t) [15] (exr1.pstex_t)
Underfull \vbox (badness 4595) has occurred while \output is active
\vbox(549.13828+0.0)x347.12354, glue set 3.58386
.\glue(\topskip) 3.05556
.\hbox(6.94444+1.94444)x347.12354, glue set - 0.32631
..\tenrm W
..\tenrm i
..\tenrm t
..\tenrm h
..\glue 3.33333 plus 1.66666 minus 1.11111
..etc.
.\penalty 400
.\glue(\baselineskip) 2.55556
.\hbox(7.5+2.5)x347.12354, glue set 214.7066fil
..\tenrm l
..\tenrm i
..\tenrm s
..\tenrm h
..\discretionary
...\tenrm -
..etc.
.etc.

 [16]
[17] [18] (invmtx.pstex_t) [19] [20] (phic.pstex_t) [21] [22] [23]
(wait1.pstex_t)) (response.tex
Overfull \hbox (30.50829pt too wide) in paragraph at lines 43--43
[]|  [] 

\hbox(203.11688+0.0)x267.12354, glue set - 1.0
.\hbox(0.0+0.0)x0.0
.\rule(*+*)x0.0
.\penalty 10000
.\glue 28.45274
.\glue 0.0
.etc.

[24] [25] [26] [27] [28] (respanyy.pstex_t) (andnode.pstex_t) [29]
(expanded.pstex_t) [30] (race1.pstex_t) [31]
Underfull \vbox (badness 3977) has occurred while \output is active
\vbox(549.13828+0.0)x347.12354, glue set 3.41684
.\vbox(254.50659+0.0)x347.12354
..\penalty -51
..\glue 10.0 plus 3.0 minus 5.0
..\glue(\parskip) 0.0
..\hbox(216.75659+0.0)x347.12354, glue set 18.48419fil
...\glue(\leftskip) 0.0 plus 1.0fil
...\hbox(0.0+0.0)x0.0
...\glue 0.0
...\hbox(0.0+0.0)x0.0 []
...\penalty 0
...etc.
..\glue 10.0
..etc.
.\glue 12.0 plus 2.0 minus 2.0
.\glue -12.0 plus -2.0 minus -2.0
.\glue 22.76219 plus 2.0 minus 4.0
.\glue(\topskip) 3.05556
.etc.

 [32]
(chain1.pstex_t) [33] (chain2.pstex_t) [34] (race2.pstex_t)
Underfull \vbox (badness 10000) has occurred while \output is active
\vbox(549.13828+0.0)x347.12354, glue set 9.56279
.\glue(\topskip) 3.05556
.\hbox(6.94444+1.94444)x347.12354, glue set 0.4197
..\tenmi m
..\hbox(4.51111+0.0)x8.47226, shifted 1.49998
...\sevrm 1
...\sevrm 0
..\mathoff
..\glue 3.33333 plus 1.66666 minus 1.11111
..\tenrm o
..etc.
.\glue(\baselineskip) 3.11111
.\hbox(6.94444+1.94444)x347.12354, glue set 0.25888
..\tenrm t
..\tenrm h
..\tenrm e
..\glue 3.33333 plus 1.66666 minus 1.11111
..\tenrm n
..etc.
.\glue(\baselineskip) 3.11111
.etc.

 [35]
(race3.pstex_t) (nchain6.pstex_t)) (response2.tex [36] [37] [38]
Overfull \hbox (30.50829pt too wide) in paragraph at lines 108--108
[]|  [] 

\hbox(243.70018+0.0)x267.12354, glue set - 1.0
.\hbox(0.0+0.0)x0.0
.\rule(*+*)x0.0
.\penalty 10000
.\glue 28.45274
.\glue 0.0
.etc.

[39] [40]
Overfull \hbox (2.81374pt too wide) detected at line 277
[]

\hbox(105.10217+33.67201)x347.12354
.\vbox(105.10217+33.67201)x349.93727
..\hbox(20.50017+32.26125)x349.93727
...\glue(\tabskip) 0.0
...\hbox(20.50017+32.26125)x349.93727 []
...\glue(\tabskip) 0.0
..\glue(\lineskip) 3.0
..\hbox(3.66875+0.0)x349.93727
...\glue(\tabskip) 0.0
...\hbox(3.66875+0.0)x349.93727, glue set 13.47849fil []
...\glue(\tabskip) 0.0
..\glue 4.0
..\glue(\lineskip) 3.0
..etc.

[41] [42] (ranked1.pstex_t) [43] [44] (wait2.pstex_t) [45]
Underfull \vbox (badness 10000) has occurred while \output is active
\vbox(549.13828+0.0)x347.12354, glue set 4.93256
.\vbox(410.51099+0.0)x347.12354
..\penalty -51
..\glue 10.0 plus 3.0 minus 5.0
..\glue(\parskip) 0.0
..\hbox(361.26099+0.0)x347.12354, glue set 0.42114fil
...\glue(\leftskip) 0.0 plus 1.0fil
...\hbox(0.0+0.0)x0.0
...\glue 0.0
...\hbox(0.0+0.0)x0.0 []
...\penalty 0
...etc.
..\glue 10.0
..etc.
.\glue 12.0 plus 2.0 minus 2.0
.\glue -12.0 plus -2.0 minus -2.0
.\glue 22.76219 plus 2.0 minus 4.0
.\glue(\topskip) 3.05556
.etc.

 [46])
(nonzeno.tex [47] (Phi4.pstex_t) [48]
Overfull \hbox (47.58012pt too wide) in paragraph at lines 171--171
[]|  [] 

\hbox(200.20018+0.0)x297.12354, glue set - 1.0
.\hbox(0.0+0.0)x0.0
.\rule(*+*)x0.0
.\penalty 10000
.\glue 45.52458
.\glue 0.0
.etc.

[49] [50] (Phi5.pstex_t) [51]
Overfull \hbox (30.50829pt too wide) in paragraph at lines 343--343
[]|  [] 

\hbox(253.70018+0.0)x297.12354, glue set - 1.0
.\hbox(0.0+0.0)x0.0
.\rule(*+*)x0.0
.\penalty 10000
.\glue 28.45274
.\glue 0.0
.etc.

[52] [53] [54] (poss1.pstex_t)) (refs.tex [55] (main.bbl
Underfull \vbox (badness 1762) has occurred while \output is active
\vbox(549.13828+0.0)x347.12354, glue set 2.60382
.\vbox(275.92252+0.0)x347.12354
..\penalty -51
..\glue 10.0 plus 3.0 minus 5.0
..\glue(\parskip) 0.0
..\hbox(223.98181+0.0)x347.12354, glue set 16.22632fil
...\glue(\leftskip) 0.0 plus 1.0fil
...\hbox(0.0+0.0)x0.0
...\glue 0.0
...\hbox(0.0+0.0)x0.0 []
...\penalty 0
...etc.
..\glue 10.0
..etc.
.\glue 12.0 plus 2.0 minus 2.0
.\glue -12.0 plus -2.0 minus -2.0
.\glue 22.76219 plus 2.0 minus 4.0
.\glue(\topskip) 1.66669
.etc.

 [56]
[57])) [58] (main.aux) ) 
Here is how much of TeX's memory you used:
 1051 strings out of 11976
 7424 string characters out of 87171
 55895 words of memory out of 262141
 2905 multiletter control sequences out of 9500
 24136 words of font info for 92 fonts, out of 100000 for 255
 14 hyphenation exceptions out of 607
 21i,34n,21p,352b,742s stack positions out of 300i,40n,60p,3000b,4000s

Output written on main.dvi (58 pages, 214860 bytes).