This is pdfTeXk, Version 3.1415926-1.40.9 (Web2C 7.5.7) (format=latex 2009.8.20)  19 FEB 2010 07:35
entering extended mode
 %&-line parsing enabled.
**main_save.tex
(./main_save.tex
LaTeX2e <2005/12/01>
Babel <v3.8l> and hyphenation patterns for english, usenglishmax, dumylang, noh
yphenation, german-x-2008-06-18, ngerman-x-2008-06-18, ancientgreek, ibycus, ar
abic, basque, bulgarian, catalan, pinyin, coptic, croatian, czech, danish, dutc
h, esperanto, estonian, farsi, finnish, french, galician, german, ngerman, mono
greek, greek, hungarian, icelandic, indonesian, interlingua, irish, italian, la
tin, lithuanian, mongolian, mongolian2a, bokmal, nynorsk, polish, portuguese, r
omanian, russian, sanskrit, serbian, slovak, slovenian, spanish, swedish, turki
sh, ukenglish, ukrainian, uppersorbian, welsh, loaded.
(./llncs.cls
Document Class: llncs 2004/08/17 v2.14 
 LaTeX document class for Lecture Notes in Computer Science
(/usr/local/texlive/2008/texmf-dist/tex/latex/base/article.cls
Document Class: article 2005/09/16 v1.4f Standard LaTeX document class
(/usr/local/texlive/2008/texmf-dist/tex/latex/base/size10.clo
File: size10.clo 2005/09/16 v1.4f Standard LaTeX file (size option)
)
\c@part=\count79
\c@section=\count80
\c@subsection=\count81
\c@subsubsection=\count82
\c@paragraph=\count83
\c@subparagraph=\count84
\c@figure=\count85
\c@table=\count86
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen102
)
(/usr/local/texlive/2008/texmf-dist/tex/latex/tools/multicol.sty
Package: multicol 2006/05/18 v1.6g multicolumn formatting (FMi)
\c@tracingmulticols=\count87
\mult@box=\box26
\multicol@leftmargin=\dimen103
\c@unbalance=\count88
\c@collectmore=\count89
\doublecol@number=\count90
\multicoltolerance=\count91
\multicolpretolerance=\count92
\full@width=\dimen104
\page@free=\dimen105
\premulticols=\dimen106
\postmulticols=\dimen107
\multicolsep=\skip43
\multicolbaselineskip=\skip44
\partial@page=\box27
\last@line=\box28
\mult@rightbox=\box29
\mult@grightbox=\box30
\mult@gfirstbox=\box31
\mult@firstbox=\box32
\@tempa=\box33
\@tempa=\box34
\@tempa=\box35
\@tempa=\box36
\@tempa=\box37
\@tempa=\box38
\@tempa=\box39
\@tempa=\box40
\@tempa=\box41
\@tempa=\box42
\@tempa=\box43
\@tempa=\box44
\@tempa=\box45
\@tempa=\box46
\@tempa=\box47
\@tempa=\box48
\@tempa=\box49
\c@columnbadness=\count93
\c@finalcolumnbadness=\count94
\last@try=\dimen108
\multicolovershoot=\dimen109
\multicolundershoot=\dimen110
\mult@nat@firstbox=\box50
\colbreak@box=\box51
)
\c@chapter=\count95
LaTeX Font Info:    Redeclaring math symbol \Gamma on input line 360.
LaTeX Font Info:    Redeclaring math symbol \Delta on input line 361.
LaTeX Font Info:    Redeclaring math symbol \Theta on input line 362.
LaTeX Font Info:    Redeclaring math symbol \Lambda on input line 363.
LaTeX Font Info:    Redeclaring math symbol \Xi on input line 364.
LaTeX Font Info:    Redeclaring math symbol \Pi on input line 365.
LaTeX Font Info:    Redeclaring math symbol \Sigma on input line 366.
LaTeX Font Info:    Redeclaring math symbol \Upsilon on input line 367.
LaTeX Font Info:    Redeclaring math symbol \Phi on input line 368.
LaTeX Font Info:    Redeclaring math symbol \Psi on input line 369.
LaTeX Font Info:    Redeclaring math symbol \Omega on input line 370.
\tocchpnum=\dimen111
\tocsecnum=\dimen112
\tocsectotal=\dimen113
\tocsubsecnum=\dimen114
\tocsubsectotal=\dimen115
\tocsubsubsecnum=\dimen116
\tocsubsubsectotal=\dimen117
\tocparanum=\dimen118
\tocparatotal=\dimen119
\tocsubparanum=\dimen120
\@tempcntc=\count96
\fnindent=\dimen121
\c@@inst=\count97
\c@@auth=\count98
\c@auco=\count99
\instindent=\dimen122
\authrun=\box52
\authorrunning=\toks14
\tocauthor=\toks15
\titrun=\box53
\titlerunning=\toks16
\toctitle=\toks17
\c@theorem=\count100
\c@case=\count101
\c@conjecture=\count102
\c@corollary=\count103
\c@definition=\count104
\c@example=\count105
\c@exercise=\count106
\c@lemma=\count107
\c@note=\count108
\c@problem=\count109
\c@property=\count110
\c@proposition=\count111
\c@question=\count112
\c@solution=\count113
\c@remark=\count114
\headlineindent=\dimen123
)
(/usr/local/texlive/2008/texmf-dist/tex/latex/amsmath/amsmath.sty
Package: amsmath 2000/07/18 v2.13 AMS math features
\@mathmargin=\skip45

For additional information on amsmath, use the `?' option.
(/usr/local/texlive/2008/texmf-dist/tex/latex/amsmath/amstext.sty
Package: amstext 2000/06/29 v2.01

(/usr/local/texlive/2008/texmf-dist/tex/latex/amsmath/amsgen.sty
File: amsgen.sty 1999/11/30 v2.0
\@emptytoks=\toks18
\ex@=\dimen124
))
(/usr/local/texlive/2008/texmf-dist/tex/latex/amsmath/amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d
\pmbraise@=\dimen125
)
(/usr/local/texlive/2008/texmf-dist/tex/latex/amsmath/amsopn.sty
Package: amsopn 1999/12/14 v2.01 operator names
)
\inf@bad=\count115
LaTeX Info: Redefining \frac on input line 211.
\uproot@=\count116
\leftroot@=\count117
LaTeX Info: Redefining \overline on input line 307.
\classnum@=\count118
\DOTSCASE@=\count119
LaTeX Info: Redefining \ldots on input line 379.
LaTeX Info: Redefining \dots on input line 382.
LaTeX Info: Redefining \cdots on input line 467.
\Mathstrutbox@=\box54
\strutbox@=\box55
\big@size=\dimen126
LaTeX Font Info:    Redeclaring font encoding OML on input line 567.
LaTeX Font Info:    Redeclaring font encoding OMS on input line 568.


Package amsmath Warning: Unable to redefine math accent \vec.

\macc@depth=\count120
\c@MaxMatrixCols=\count121
\dotsspace@=\muskip10
\c@parentequation=\count122
\dspbrk@lvl=\count123
\tag@help=\toks19
\row@=\count124
\column@=\count125
\maxfields@=\count126
\andhelp@=\toks20
\eqnshift@=\dimen127
\alignsep@=\dimen128
\tagshift@=\dimen129
\tagwidth@=\dimen130
\totwidth@=\dimen131
\lineht@=\dimen132
\@envbody=\toks21
\multlinegap=\skip46
\multlinetaggap=\skip47
\mathdisplay@stack=\toks22
LaTeX Info: Redefining \[ on input line 2666.
LaTeX Info: Redefining \] on input line 2667.
) (/usr/local/texlive/2008/texmf-dist/tex/latex/amsfonts/amssymb.sty
Package: amssymb 2002/01/22 v2.2d

(/usr/local/texlive/2008/texmf-dist/tex/latex/amsfonts/amsfonts.sty
Package: amsfonts 2001/10/25 v2.2f
\symAMSa=\mathgroup4
\symAMSb=\mathgroup5
LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'
(Font)                  U/euf/m/n --> U/euf/b/n on input line 132.
))
(/usr/local/texlive/2008/texmf-dist/tex/latex/amscls/amsthm.sty
Package: amsthm 2004/08/06 v2.20
\thm@style=\toks23
\thm@bodyfont=\toks24
\thm@headfont=\toks25
\thm@notefont=\toks26
\thm@headpunct=\toks27
\thm@preskip=\skip48
\thm@postskip=\skip49
\thm@headsep=\skip50
\dth@everypar=\toks28
LaTeX Info: Redefining \qed on input line 283.
)
(/usr/local/texlive/2008/texmf-dist/tex/latex/psnfss/times.sty
Package: times 2005/04/12 PSNFSS-v9.2a (SPQR) 
)
(/usr/local/texlive/2008/texmf-dist/tex/latex/graphics/epsfig.sty
Package: epsfig 1999/02/16 v1.7a (e)psfig emulation (SPQR)

(/usr/local/texlive/2008/texmf-dist/tex/latex/graphics/graphicx.sty
Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)

(/usr/local/texlive/2008/texmf-dist/tex/latex/graphics/keyval.sty
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
\KV@toks@=\toks29
)
(/usr/local/texlive/2008/texmf-dist/tex/latex/graphics/graphics.sty
Package: graphics 2006/02/20 v1.0o Standard LaTeX Graphics (DPC,SPQR)

(/usr/local/texlive/2008/texmf-dist/tex/latex/graphics/trig.sty
Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
)
(/usr/local/texlive/2008/texmf/tex/latex/config/graphics.cfg
File: graphics.cfg 2007/01/18 v1.5 graphics configuration of teTeX/TeXLive
)
Package graphics Info: Driver file: dvips.def on input line 90.

(/usr/local/texlive/2008/texmf-dist/tex/latex/graphics/dvips.def
File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR)
))
\Gin@req@height=\dimen133
\Gin@req@width=\dimen134
)
\epsfxsize=\dimen135
\epsfysize=\dimen136
)
(/usr/local/texlive/2008/texmf-dist/tex/latex/base/makeidx.sty
Package: makeidx 2000/03/29 v1.0m Standard LaTeX package
)
(/usr/local/texlive/2008/texmf-dist/tex/latex/base/inputenc.sty
Package: inputenc 2006/05/05 v1.1b Input encoding file
\inpenc@prehook=\toks30
\inpenc@posthook=\toks31

(/usr/local/texlive/2008/texmf-dist/tex/latex/base/latin1.def
File: latin1.def 2006/05/05 v1.1b Input encoding file
))
(/usr/local/texlive/2008/texmf-dist/tex/latex/tools/xspace.sty
Package: xspace 2006/05/08 v1.12 Space after command names (DPC,MH)
) (./floatflt.sty
Package: floatflt 1996/02/27 v. 1.3
\c@OptionTest=\count127
\figbox=\box56
\tabbox=\box57
\pagebox=\box58
\ffigcount=\count128
\ftabcount=\count129
\fftest=\count130
\hangcount=\count131
\nosuccesstryfig=\count132
\nosuccesstrytab=\count133
\figgutter=\dimen137
\tabgutter=\dimen138
\htdone=\dimen139
\pageht=\dimen140
\startpageht=\dimen141
\tabbredd=\dimen142
\floatfltwidth=\dimen143
\fltitemwidth=\dimen144
\outputpretest=\toks32
) (./wrapfig.sty
\wrapoverhang=\dimen145
\WF@size=\dimen146
\c@WF@wrappedlines=\count134
\WF@box=\box59
\WF@everypar=\toks33
Package: wrapfig 2003/01/31  v 3.6
) (./subfigure.sty
Package: subfigure 1995/03/06 v2.0 subfigure package

Package: subfigure 1995/03/06 v2.0
\c@subfigure=\count135
\c@lofdepth=\count136
\c@subtable=\count137
\c@lotdepth=\count138
) (./paralist.sty
Package: paralist 2002/03/18 v2.3b Extended list environments (BS)
\pltopsep=\skip51
\plpartopsep=\skip52
\plitemsep=\skip53
\plparsep=\skip54
\pl@lab=\toks34
)
(/Users/catuscia/Library/texmf/tex/latex/special_input_files/Maura-styles/ifthe
n.sty
Package: ifthen 1994/11/15 v1.0j Standard LaTeX ifthen package (DPC)
) (/usr/local/texlive/2008/texmf-dist/tex/generic/xypic/xy.sty
(/usr/local/texlive/2008/texmf-dist/tex/generic/xypic/xy.tex Bootstrap'ing:
catcodes, docmode,
(/usr/local/texlive/2008/texmf-dist/tex/generic/xypic/xyrecat.tex)
(/usr/local/texlive/2008/texmf-dist/tex/generic/xypic/xyidioms.tex)

 Xy-pic version 3.7 <1999/02/16>
 Copyright (c) 1991-1998 by Kristoffer H. Rose <krisrose@ens-lyon.fr>
 Xy-pic is free software: see the User's Guide for details.

Loading kernel: messages; fonts; allocations: state,
\X@c=\dimen147
\Y@c=\dimen148
\U@c=\dimen149
\D@c=\dimen150
\L@c=\dimen151
\R@c=\dimen152
\Edge@c=\toks35
\X@p=\dimen153
\Y@p=\dimen154
\U@p=\dimen155
\D@p=\dimen156
\L@p=\dimen157
\R@p=\dimen158
\Edge@p=\toks36
\X@origin=\dimen159
\Y@origin=\dimen160
\X@xbase=\dimen161
\Y@xbase=\dimen162
\X@ybase=\dimen163
\Y@ybase=\dimen164
\X@min=\dimen165
\Y@min=\dimen166
\X@max=\dimen167
\Y@max=\dimen168
\lastobjectbox@=\box60
\zerodotbox@=\box61
\almostz@=\dimen169
 direction,
\d@X=\dimen170
\d@Y=\dimen171
\K@=\count139
\KK@=\count140
\Direction=\count141
\K@dXdY=\dimen172
\K@dYdX=\dimen173
\xyread@=\read1
\xywrite@=\write3
\csp@=\count142
\quotPTK@=\dimen174

utility macros; pictures: \xy, positions,
\swaptoks@@=\toks37
\connectobjectbox@@=\box62
 objects,
\styletoks@=\toks38
 decorations;
kernel objects: directionals, circles, text; options; algorithms: directions,
edges, connections;  Xy-pic loaded)
Package: xy 1999/02/16 Xy-pic version 3.7

(/usr/local/texlive/2008/texmf-dist/tex/generic/xypic/xyall.tex
 Xy-pic option: All features v.3.3
(/usr/local/texlive/2008/texmf-dist/tex/generic/xypic/xycurve.tex
 Xy-pic option: Curve and Spline extension v.3.7 curve,
\crv@cnt@=\count143
\crvpts@=\toks39
\splinebox@=\box63
\splineval@=\dimen175
\splinedepth@=\dimen176
\splinetol@=\dimen177
\splinelength@=\dimen178
 circles,
\L@=\dimen179
 loaded)
(/usr/local/texlive/2008/texmf-dist/tex/generic/xypic/xyframe.tex
 Xy-pic option: Frame and Bracket extension v.3.7 loaded)
(/usr/local/texlive/2008/texmf-dist/tex/generic/xypic/xycmtip.tex
 Xy-pic option: Computer Modern tip extension v.3.3
(/usr/local/texlive/2008/texmf-dist/tex/generic/xypic/xytips.tex
 Xy-pic option: More Tips extension v.3.3 loaded) loaded)
(/usr/local/texlive/2008/texmf-dist/tex/generic/xypic/xyline.tex
 Xy-pic option: Line styles extension v.3.6
\xylinethick@=\dimen180
 loaded)
(/usr/local/texlive/2008/texmf-dist/tex/generic/xypic/xyrotate.tex
 Xy-pic option: Rotate and Scale extension v.3.3 loaded)
(/usr/local/texlive/2008/texmf-dist/tex/generic/xypic/xycolor.tex
 Xy-pic option: Colour extension v.3.3 loaded)
(/usr/local/texlive/2008/texmf-dist/tex/generic/xypic/xymatrix.tex
 Xy-pic option: Matrix feature v.3.4
\Row=\count144
\Col=\count145
\queue@=\toks40
\queue@@=\toks41
\qcount@=\count146
\qcount@@=\count147
\matrixsize@=\count148
 loaded)
(/usr/local/texlive/2008/texmf-dist/tex/generic/xypic/xyarrow.tex
 Xy-pic option: Arrow and Path feature v.3.5 path, \ar, loaded)
(/usr/local/texlive/2008/texmf-dist/tex/generic/xypic/xygraph.tex
 Xy-pic option: Graph feature v.3.7 loaded) loaded))
(/usr/local/texlive/2008/texmf-dist/tex/generic/xypic/xy.tex not reloaded)
(/usr/local/texlive/2008/texmf-dist/tex/generic/xypic/xyall.tex
 Xy-pic option: All features v.3.3 not reloaded) (./macros.tex)
(./main_save.aux)
\openout1 = `main_save.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 52.
LaTeX Font Info:    ... okay on input line 52.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 52.
LaTeX Font Info:    ... okay on input line 52.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 52.
LaTeX Font Info:    ... okay on input line 52.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 52.
LaTeX Font Info:    ... okay on input line 52.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 52.
LaTeX Font Info:    ... okay on input line 52.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 52.
LaTeX Font Info:    ... okay on input line 52.
LaTeX Font Info:    Try loading font information for OT1+ptm on input line 52.

(/usr/local/texlive/2008/texmf-dist/tex/latex/psnfss/ot1ptm.fd
File: ot1ptm.fd 2001/06/04 font definitions for OT1/ptm.
)
LaTeX Font Info:    Font shape `OT1/ptm/bx/n' in size <14.4> not available
(Font)              Font shape `OT1/ptm/b/n' tried instead on input line 53.
LaTeX Font Info:    Try loading font information for U+msa on input line 53.

(/usr/local/texlive/2008/texmf-dist/tex/latex/amsfonts/umsa.fd
File: umsa.fd 2002/01/19 v2.2g AMS font definitions
)
LaTeX Font Info:    Try loading font information for U+msb on input line 53.

(/usr/local/texlive/2008/texmf-dist/tex/latex/amsfonts/umsb.fd
File: umsb.fd 2002/01/19 v2.2g AMS font definitions
)
LaTeX Font Info:    Font shape `OT1/ptm/bx/n' in size <9> not available
(Font)              Font shape `OT1/ptm/b/n' tried instead on input line 55.
LaTeX Font Info:    Font shape `OT1/ptm/bx/n' in size <12> not available
(Font)              Font shape `OT1/ptm/b/n' tried instead on input line 72.
LaTeX Font Info:    Font shape `OT1/ptm/bx/n' in size <10> not available
(Font)              Font shape `OT1/ptm/b/n' tried instead on input line 90.


LaTeX Warning: Citation `Segala:95:NJC' on page 1 undefined on input line 113.


LaTeX Warning: Citation `Segala:95:PhD' on page 1 undefined on input line 113.

LaTeX Font Info:    Font shape `OT1/ptm/bx/n' in size <5> not available
(Font)              Font shape `OT1/ptm/b/n' tried instead on input line 122.
[1

]

LaTeX Warning: Marginpar on page 2 moved.


LaTeX Warning: Marginpar on page 2 moved.

[2]

LaTeX Warning: Citation `Andres:10:TechRep' on page 3 undefined on input line 2
07.


LaTeX Warning: Citation `Andres:10:TechRep' on page 3 undefined on input line 2
11.


LaTeX Warning: Citation `Segala:95:NJC' on page 3 undefined on input line 242.

[3]

LaTeX Warning: Citation `Milner:89:BOOK' on page 4 undefined on input line 257.



LaTeX Warning: Citation `Milner:99:BOOK' on page 4 undefined on input line 257.


[4]
Underfull \hbox (badness 10000) in paragraph at lines 385--386

 []

[5]
File: Figures/exampleS1.eps Graphic file (type eps)
 <Figures/exampleS1.eps>
File: Figures/exampleS2.eps Graphic file (type eps)
 <Figures/exampleS2.eps> (./equivalences.tex

LaTeX Warning: Citation `Segala:95:PhD' on page 6 undefined on input line 6.

[6] [7] [8]
Underfull \hbox (badness 10000) in paragraph at lines 108--109

 []


Underfull \hbox (badness 10000) in paragraph at lines 109--111

 []

)

LaTeX Warning: Citation `Andres:10:TechRep' on page 9 undefined on input line 4
41.

[9] [10]

LaTeX Warning: Command \i invalid in math mode on input line 503.


LaTeX Warning: Citation `Barghava:05:CONCUR' on page 11 undefined on input line
 513.

[11]

LaTeX Warning: Reference `sec:equivalences' on page 12 undefined on input line 
537.


Overfull \hbox (5.55688pt too wide) in paragraph at lines 540--541
[]\OT1/ptm/m/it/10 Let $\OML/cmm/m/it/10 S$ \OT1/ptm/m/it/10 be a sys-tem with 
a vari-able ac-tion $[]$ and as-sume that $\OML/cmm/m/it/10 S\OT1/cmr/m/n/10 [\
OML/cmm/m/it/10 s[]=[]\OT1/cmr/m/n/10 ] \OMS/cmsy/m/n/10 '
 []


LaTeX Warning: Reference `prop:simsimeq' on page 12 undefined on input line 543
.

No file main_save.bbl.
[12] (./main_save.aux)

LaTeX Warning: There were undefined references.


LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.

 )
(\end occurred inside a group at level 1)

### simple group (level 1) entered at line 417 ({)
### bottom level 
Here is how much of TeX's memory you used:
 4943 strings out of 493877
 57953 string characters out of 1150591
 163603 words of memory out of 3000000
 8112 multiletter control sequences out of 10000+50000
 20678 words of font info for 66 fonts, out of 3000000 for 5000
 714 hyphenation exceptions out of 8191
 32i,16n,24p,781b,307s stack positions out of 5000i,500n,10000p,200000b,50000s

Output written on main_save.dvi (12 pages, 53764 bytes).