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

Compare commits

base: pouya:aea41d1451186ae44cb968f8c42384d4cd233a66
Branches Tags
pouya:master
..
compare: pouya:c812597e18e057355745cc62b5b421d0aa0cb487
Branches Tags
pouya:master

No commits in common. "aea41d1451186ae44cb968f8c42384d4cd233a66" and "c812597e18e057355745cc62b5b421d0aa0cb487" have entirely different histories.
aea41d1451 ... c812597e18

2 changed files with 1 additions and 1 deletions
Show Stats 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 simulation align with the relator-based one? \item How alternative notions of simulations 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 Normal file
View File

Binary file not shown.