Author: nLab edit announcer Format: MarkdownItexadded definition of bisimulation in set theory
Anonymous
<a href="https://ncatlab.org/nlab/revision/diff/bisimulation/12">diff</a>, <a href="https://ncatlab.org/nlab/revision/bisimulation/12">v12</a>, <a href="https://ncatlab.org/nlab/show/bisimulation">current</a>
Author: Victor Sannier Format: MarkdownItexAdded the definition of bisimulation for labelled transition systems
This should help the reader to develop an intuition for the more general definitions.
<a href="https://ncatlab.org/nlab/revision/diff/bisimulation/13">diff</a>, <a href="https://ncatlab.org/nlab/revision/bisimulation/13">v13</a>, <a href="https://ncatlab.org/nlab/show/bisimulation">current</a>
Added the definition of bisimulation for labelled transition systems
This should help the reader to develop an intuition for the more general definitions.
Author: Urs Format: MarkdownItexI have expanded out ([here](#Bisimilarity)) the prviously somewhat mysterious-sounding Definition
> Bisimilarity is the greatest bisimulation.
to:
> The [[union]] of all bisimulation relations, as [[subsets]] of $S \times S$, is a relation called *bisimilarity*.
<a href="https://ncatlab.org/nlab/revision/diff/bisimulation/15">diff</a>, <a href="https://ncatlab.org/nlab/revision/bisimulation/15">v15</a>, <a href="https://ncatlab.org/nlab/show/bisimulation">current</a>
I have expanded out (here) the prviously somewhat mysterious-sounding Definition
Bisimilarity is the greatest bisimulation.
to:
The union of all bisimulation relations, as subsets of $S \times S$, is a relation called bisimilarity.
Author: Urs Format: MarkdownItexalso touched the first sentence in the Definition section ([here](https://ncatlab.org/nlab/show/bisimulation#InSetTheory)), for streamlining
This entry is could do with an Idea section having a paragraph on what's actually going on regarding the terminology.
<a href="https://ncatlab.org/nlab/revision/diff/bisimulation/15">diff</a>, <a href="https://ncatlab.org/nlab/revision/bisimulation/15">v15</a>, <a href="https://ncatlab.org/nlab/show/bisimulation">current</a>
also touched the first sentence in the Definition section (here), for streamlining
This entry is could do with an Idea section having a paragraph on whatâ€™s actually going on regarding the terminology.