pouya/coalgebraic-simulation
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

pc sync

Browse Source
This commit is contained in:
Sergey Goncharov 2026-05-26 17:34:02 +01:00
parent 1a3e7ec1a9
commit 14ae8190e8
2 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
ACV-abstract-2026/sym-sim.tex
View File

@ -241,7 +241,7 @@ We ask:
\begin{enumerate} \begin{enumerate}
\item How to construct relators for established notions of simulation? \item How to construct relators for established notions of simulation?
\item How to generally prove that ensuing symmetric simulations are bisimulations? \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} \end{enumerate}
\paragraph{Relaxing Barr Relators} %\label{sec:} \paragraph{Relaxing Barr Relators} %\label{sec:}

BIN
draft/draft.pdf
View File

Binary file not shown.