2martens/uni
1
0
Fork 0
mirror of https://github.com/2martens/uni.git synced 2026-05-06 11:26:25 +02:00
Code Releases Activity

FGI2: 13.4.1 fertig

Browse Source 
Signed-off-by: Jim Martens <github@2martens.de>
This commit is contained in:
Jim Martens
2015-01-21 12:14:39 +01:00
parent 8d67dc1424
commit 4962b860c6
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
fgi2/Blatt13/Aufgabenblatt13.tex
View File

@ -72,6 +72,8 @@
\section{} % 13.4 \section{} % 13.4
\subsection{} \subsection{}
Die Prozessgraphen für \(t_6\) und \(t_7\) befinden sich auf \fref{fig:t6-graph} bzw. \fref{fig:t7-graph}. Die Prozessgraphen für \(t_6\) und \(t_7\) befinden sich auf \fref{fig:t6-graph} bzw. \fref{fig:t7-graph}.
Es existiert dabei folgende Bisimulationsrelation: \(\mathbb{B} = \{(c, \partial_H(c)), (b \cdot c, \partial_H(b \cdot c)), (b \cdot c, \partial_H((b + b) \cdot c)), ((a + b) \leftmerge (b \cdot c), \partial_H((a \leftmerge (b + b) + (d \parallel e) \cdot b) \cdot c))\}\)
\begin{figure} \begin{figure}
\begin{tikzpicture}[node distance=1cm] \begin{tikzpicture}[node distance=1cm]
\node (t6-start) {\((a + b) \leftmerge (b \cdot c)\)}; \node (t6-start) {\((a + b) \leftmerge (b \cdot c)\)};