diff --git a/ACV-abstract-2026/sym-sim.tex b/ACV-abstract-2026/sym-sim.tex index b937b17..dbf302f 100644 --- a/ACV-abstract-2026/sym-sim.tex +++ b/ACV-abstract-2026/sym-sim.tex @@ -241,7 +241,7 @@ We ask: \begin{enumerate} \item How to construct relators for established notions of simulation? \item How to generally prove that ensuing symmetric simulations are bisimulations? - \item How alternative notions of simulations align with the relator-based one? + \item How alternative notions of simulation align with the relator-based one? \end{enumerate} \paragraph{Relaxing Barr Relators} %\label{sec:} diff --git a/draft/draft.pdf b/draft/draft.pdf index 1ad9f3f..9f085de 100644 Binary files a/draft/draft.pdf and b/draft/draft.pdf differ