\relax 
\citation{[NPW]}
\citation{[Win89]}
\citation{[le80]}
\citation{[Sta]}
\citation{[GLM]}
\citation{[rndrs]}
\citation{[dndrs]}
\citation{[ldrs]}
\citation{[C.F.]}
\citation{[rndrs]}
\citation{[ldrs]}
\citation{[le80]}
\citation{[Bou]}
\citation{[B.C.]}
\citation{[Sta]}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\citation{[Win89]}
\citation{[le80]}
\citation{[Lan.th]}
\citation{[Lan.th]}
\citation{[Sch]}
\citation{[CEL]}
\citation{[KKSdV]}
\citation{[C.K.]}
\citation{[Win89]}
\citation{[L.M.]}
\citation{[rndrs]}
\citation{[rndrs]}
\citation{[dndrs]}
\citation{[ldrs]}
\citation{[Hin]}
\citation{[Kl.TRS]}
\@writefile{toc}{\contentsline {section}{\numberline {2}Deterministic Residual and Family Structures}{2}}
\citation{[Sta]}
\citation{[GLM]}
\citation{[GLM]}
\citation{[Oos.th]}
\citation{[Mel]}
\citation{[Raa.th]}
\citation{[GLM]}
\citation{[SPE]}
\citation{[GLM]}
\citation{[Sta]}
\citation{[H.L.]}
\citation{[levy]}
\citation{[le80]}
\citation{[Sta]}
\citation{[Kl.CRS]}
\citation{[Bar]}
\citation{[rndrs]}
\citation{[dndrs]}
\newlabel{D.levy.str.}{{2.2}{3}}
\newlabel{D.ext.reductions.}{{2.3}{3}}
\citation{[rndrs]}
\citation{[dndrs]}
\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{D.red.need.ess.}{{2.7}{4}}
\newlabel{L.era.and.ess.im.ne.}{{2.8}{4}}
\newlabel{D.ess.rel.red.}{{2.9}{4}}
\citation{[ldrs]}
\citation{[Win]}
\citation{[rndrs]}
\newlabel{D.stanndrs.}{{2.10}{5}}
\newlabel{L.fin.self.ese.var.}{{2.11}{5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Families in Affine SDRSs}{5}}
\newlabel{P.leqv.sam.se.es.fa.}{{2.12}{5}}
\newlabel{P.on.ca.for.}{{2.13}{5}}
\newlabel{T.lin.dr.sta.df.}{{2.14}{5}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Deterministic Permutation and Erasure Event Structures}{5}}
\newlabel{D.DPES.}{{3.1}{5}}
\newlabel{D.DEES.}{{3.2}{5}}
\newlabel{D.era.vi.per.eq.}{{3.3}{6}}
\newlabel{D.eq.in.era.}{{3.4}{6}}
\newlabel{L.se.con.}{{3.5}{6}}
\newlabel{L.alp.eq.sel.al.}{{3.6}{6}}
\newlabel{C.char.sea.eq.}{{3.7}{6}}
\newlabel{L.sune.seeqv.}{{3.8}{6}}
\newlabel{T.tra.dpe.dee.}{{3.9}{6}}
\newlabel{T.lee.imp.eras.}{{3.10}{6}}
\newlabel{L.al.le.se.al.}{{3.11}{7}}
\newlabel{C.sees.eq.leeq.}{{3.12}{7}}
\newlabel{T.dc.ps.det.equ.}{{3.13}{7}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Relating Transition and Event models}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Translation of affine SDRSs and DFSs into DPESs and DEESs}{7}}
\newlabel{D.tra.dfs.dps.}{{4.1}{7}}
\newlabel{L.ines.sta.dis.}{{4.2}{7}}
\newlabel{L.sta.rem.sta.}{{4.3}{7}}
\newlabel{C.sta.dis.}{{4.4}{8}}
\newlabel{L.crea.dis,drs.}{{4.5}{8}}
\newlabel{L.dis.can.al.}{{4.6}{8}}
\newlabel{L.sam/fam.er.}{{4.7}{8}}
\newlabel{L.reor.fam.}{{4.8}{8}}
\newlabel{T.dfs.dees.tr.}{{4.9}{8}}
\newlabel{T.tra.fs.dc.ps.com.}{{4.10}{8}}
\citation{[Win89]}
\citation{[rndrs]}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Translation of DPESs and DEESs into stable DRSs and DFSs}{9}}
\newlabel{D.ps.rs.tra.}{{4.12}{9}}
\newlabel{D.ps.fs.tra.}{{4.13}{9}}
\newlabel{T.ps.dr.fs.zig.}{{4.14}{9}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3}Equivalence of the four models}{9}}
\newlabel{D.drs.isom.}{{4.15}{9}}
\newlabel{T.equi.four.}{{4.16}{10}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Configuration Domains}{10}}
\newlabel{L.se.red.}{{5.2}{10}}
\newlabel{D.perm.latt.}{{5.3}{10}}
\newlabel{T.perm.ev.dom.}{{5.4}{10}}
\newlabel{D.emb.per.red.}{{5.5}{10}}
\newlabel{P.el.emb.le.emb.}{{5.6}{10}}
\newlabel{L.fam.dec.gen.}{{5.7}{10}}
\newlabel{L.fam.dec.nee.}{{5.8}{10}}
\newlabel{L.char.nee.vi.fam.}{{5.9}{10}}
\newlabel{C.char.emb.vi.fam.}{{5.10}{10}}
\newlabel{D.perm.latt.red.}{{5.11}{10}}
\citation{[le80]}
\citation{[Mar91]}
\citation{[AL]}
\citation{[Oos]}
\citation{[rndrs]}
\citation{[Kl.CRS]}
\citation{[ldrs]}
\citation{[le80]}
\citation{[Mar91]}
\citation{[AL]}
\citation{[Oos]}
\citation{[ldrs]}
\newlabel{T.isom.drs.dps.}{{5.12}{11}}
\@writefile{toc}{\contentsline {section}{\numberline {6}Event Structure semantics for stable DRSs}{11}}
\newlabel{D.lin.dfs.drs.}{{6.2}{11}}
\newlabel{T.line.zig.}{{6.3}{11}}
\bibcite{[AL]}{AL93}
\bibcite{[Bar]}{Bar84}
\bibcite{[berry]}{Ber79}
\bibcite{[Bou]}{Bou85}
\bibcite{[B.C.]}{BC88}
\bibcite{[C.K.]}{CK95}
\bibcite{[CEL]}{CELMR94}
\bibcite{[C.F.]}{CF58}
\bibcite{[rndrs]}{GK96}
\bibcite{[rndrs-rep]}{GK96a}
\bibcite{[GLM]}{GLM92}
\bibcite{[Hin]}{Hin64}
\bibcite{[H.L.]}{HL91}
\bibcite{[KKSdV]}{KKSV93}
\citation{[SPE]}
\bibcite{[dndrs]}{KG96}
\bibcite{[ldrs]}{KG96a}
\bibcite{[Kl.CRS]}{Klo80}
\bibcite{[Kl.TRS]}{Klo92}
\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{[NPW]}{NPW81}
\bibcite{[Oos.th]}{Oos94}
\bibcite{[Oos]}{Oos96}
\bibcite{[Raa.th]}{Raa96}
\bibcite{[Sch]}{Sch94}
\citation{[S.E.]}
\bibcite{[S.E.]}{SE94}
\bibcite{[SPE]}{SPE93}
\bibcite{[Sta]}{Sta89}
\bibcite{[Win]}{Win80}
\bibcite{[Win89]}{Win89}