\relax 
\citation{[NPW]}
\citation{[Win89]}
\citation{[WN]}
\citation{[le80]}
\citation{[Sta]}
\citation{[GLM]}
\citation{[rndrs]}
\citation{[dndrs]}
\citation{[ldrs]}
\citation{[rndrs]}
\citation{[Bar]}
\citation{[le80]}
\citation{[ldrs]}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\citation{[le80]}
\citation{[H.L.]}
\citation{[Bou]}
\citation{[Sta]}
\citation{[Win89]}
\citation{[Win89]}
\citation{[le80]}
\citation{[Lan.th]}
\citation{[Lan.th]}
\citation{[KKSdV]}
\citation{[C.K.]}
\citation{[Sch]}
\citation{[CEL]}
\citation{[rndrs]}
\citation{[rndrs]}
\citation{[dndrs]}
\citation{[ldrs]}
\citation{[Hin]}
\citation{[Sta]}
\citation{[GLM]}
\citation{[GLM]}
\citation{[Oos.th]}
\citation{[Mel]}
\citation{[Raa.th]}
\citation{[GLM]}
\citation{[SPE]}
\citation{[Laf]}
\citation{[le80]}
\citation{[H.L.]}
\citation{[GLM]}
\citation{[Sta]}
\citation{[H.L.]}
\citation{[levy]}
\citation{[le80]}
\citation{[Sta]}
\citation{[rndrs]}
\citation{[dndrs]}
\@writefile{toc}{\contentsline {section}{\numberline {2}Deterministic Residual and Family Structures}{3}}
\newlabel{D.levy.str.}{{2.2}{3}}
\citation{[rndrs]}
\citation{[dndrs]}
\newlabel{D.ext.reductions.}{{2.3}{4}}
\newlabel{L.disj.red.creat.}{{2.4}{4}}
\newlabel{L.ext.lem.mult.}{{2.5}{4}}
\newlabel{D.DRS.}{{2.6}{4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Standardization}{4}}
\newlabel{stan.ssc.}{{2.1}{4}}
\newlabel{D.red.need.ess.}{{2.7}{4}}
\citation{[ldrs]}
\citation{[ldrs]}
\citation{[San.Th]}
\citation{[Mil80]}
\citation{[Mil]}
\citation{[WN]}
\citation{[Win]}
\newlabel{L.era.and.ess.im.ne.}{{2.8}{5}}
\newlabel{L.fin.self.ese.var.}{{2.9}{5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Families in Affine SDRSs}{5}}
\newlabel{fam.ssc.}{{2.2}{5}}
\newlabel{P.leqv.sam.se.es.fa.}{{2.10}{5}}
\newlabel{P.on.ca.for.}{{2.11}{5}}
\newlabel{T.lin.dr.sta.df.}{{2.12}{5}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Deterministic Permutation and Erasure Event Structures}{5}}
\newlabel{dees.dpes.}{{3}{5}}
\citation{[rndrs]}
\newlabel{D.DPES.}{{3.1}{6}}
\newlabel{D.DEES.}{{3.2}{6}}
\newlabel{D.era.vi.per.eq.}{{3.3}{6}}
\newlabel{D.eq.in.era.}{{3.4}{6}}
\newlabel{C.char.sea.eq.}{{3.5}{6}}
\newlabel{C.sees.eq.leeq.}{{3.6}{6}}
\newlabel{T.lee.imp.eras.}{{3.7}{6}}
\newlabel{T.tra.dpe.dee.}{{3.8}{6}}
\newlabel{T.dc.ps.det.equ.}{{3.9}{6}}
\citation{[Win89]}
\citation{[rndrs]}
\@writefile{toc}{\contentsline {section}{\numberline {4}Relating Transition and Event models}{7}}
\newlabel{rel.mod.}{{4}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Translation of affine SDRSs and ZDFSs into DPESs and DEESs}{7}}
\newlabel{D.tra.dfs.dps.}{{4.1}{7}}
\newlabel{C.sta.dis.}{{4.2}{7}}
\newlabel{L.reor.fam.}{{4.3}{7}}
\newlabel{T.dfs.dees.tr.}{{4.4}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Translation of DPESs and DEESs into stable DRSs and DFSs}{7}}
\newlabel{D.ps.rs.tra.}{{4.6}{7}}
\citation{[morn]}
\newlabel{D.ps.fs.tra.}{{4.7}{8}}
\newlabel{T.ps.dr.fs.zig.}{{4.8}{8}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3}Equivalence of the four models}{8}}
\newlabel{T.equi.four.}{{4.9}{8}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Configuration Domains}{8}}
\newlabel{latt.str.}{{5}{8}}
\newlabel{L.se.red.}{{5.1}{8}}
\newlabel{D.perm.latt.}{{5.2}{8}}
\newlabel{emb.ver.sinc.}{{5.3}{8}}
\newlabel{T.isom.drs.dps.}{{5.4}{8}}
\citation{[levy]}
\citation{[le80]}
\citation{[Mar91]}
\citation{[AL]}
\citation{[Oos]}
\citation{[rndrs]}
\citation{[Kl.CRS]}
\citation{[Win89]}
\@writefile{toc}{\contentsline {section}{\numberline {6}Event Structure semantics for DFSs}{9}}
\newlabel{linear.}{{6}{9}}
\newlabel{D.lin.dfs.drs.}{{6.1}{9}}
\newlabel{T.line.zig.}{{6.2}{9}}
\@writefile{toc}{\contentsline {section}{\numberline {7}Conclusions}{9}}
\newlabel{concl.}{{7}{9}}
\citation{[rndrs]}
\citation{[Win89]}
\citation{[morn]}
\citation{[rndrs]}
\citation{[Win89]}
\citation{[L.M.]}
\bibcite{[AL]}{AL93}
\bibcite{[Bar]}{Bar84}
\bibcite{[berry]}{Ber79}
\bibcite{[Bou]}{Bou85}
\bibcite{[C.K.]}{CK95}
\bibcite{[CEL]}{CELMR94}
\bibcite{[morn]}{GK94}
\bibcite{[rndrs]}{GK96}
\bibcite{[GLM]}{GLM92}
\bibcite{[Hin]}{Hin64}
\bibcite{[H.L.]}{HL91}
\bibcite{[KKSdV]}{KKSV93}
\citation{[SPE]}
\bibcite{[dndrs]}{KG96}
\bibcite{[ldrs]}{KG97}
\bibcite{[Kl.CRS]}{Klo80}
\bibcite{[Laf]}{Laf90}
\bibcite{[Lan.th]}{Lan93}
\bibcite{[Lan94]}{Lan94}
\bibcite{[L.M.]}{LM94}
\bibcite{[levy]}{L\'ev78}
\bibcite{[le80]}{L\'ev80}
\bibcite{[Mar91]}{Mar91}
\bibcite{[Mel]}{Mel96}
\bibcite{[Mil80]}{Mil80}
\bibcite{[Mil]}{Mil92}
\bibcite{[NPW]}{NPW81}
\bibcite{[Oos.th]}{Oos94}
\bibcite{[Oos]}{Oos96}
\bibcite{[Raa.th]}{Raa96}
\bibcite{[San.Th]}{San93}
\bibcite{[Sch]}{Sch94}
\bibcite{[SPE]}{SPE93}
\bibcite{[Sta]}{Sta89}
\bibcite{[Win]}{Win80}
\bibcite{[Win89]}{Win86/89}
\bibcite{[WN]}{WN95}