Skip to content
Snippets Groups Projects
Commit a662e0a5 authored by Philip Kaluđerčić's avatar Philip Kaluđerčić :u7121:
Browse files

Clarify the definition of behavioural equivalence

parent 624c1f85
No related branches found
No related tags found
No related merge requests found
...@@ -50,10 +50,11 @@ ...@@ -50,10 +50,11 @@
\begin{definition}\label{def:beheqiv} \begin{definition}\label{def:beheqiv}
For a \de{endofunctor} \(F : \map{\Set}{\Set}\) and two \fca{} For a \de{endofunctor} \(F : \map{\Set}{\Set}\) and two \fca{}
\((C, c)\), \((D, d)\), are \emph{behaviourally equivalent} for \((C, c)\), \((D, d)\) states \(x \in C\), \(y \in D\), are
\(C \ni x \sim y \in D\) if \emph{behaviourally equivalent}, if for some
\[ \exists h, k \st (C, c) \xrightarrow{h} (E, e) \xleftarrow{k} (D, \((E, e)\),
d), \] for some \((E, e)\). \[ x \sim y \iff \exists h, k \st (C, c) \xrightarrow{h} (E, e)
\xleftarrow{k} (D, d). \]
\end{definition} \end{definition}
\begin{definition}\label{def:bisimulation} \begin{definition}\label{def:bisimulation}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment