-
Notifications
You must be signed in to change notification settings - Fork 0
/
appendixd.tex
38 lines (26 loc) · 1.32 KB
/
appendixd.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
\chapter{Examples of bisimulations}\label{appExamples}
Listed below is the result of running all the bisimulation examples in the report through the system finding extended bisimulations (see appendix~\ref{appExtProlog}). The listing also contains the results for exercise 1.4 of~\cite{Milner}.
\newpage
\inclfull{prolog/examples/ex11.inp}%
\inclfull{prolog/examples/ex11.out}%
\inclfull{prolog/examples/ex12.inp}%
\inclfull{prolog/examples/ex12.out}%
\noindent
The following is the results of running exercise 1.4 of~\cite{Milner} through the same system. Note that we have run all nonequivalent problems through the system twice with different ordering of the parameters as to find a (unique) modal property for each process.
\inclfull{prolog/examples/ex13.inp}%
\inclfull{prolog/examples/ex13.out}%
\inclfull{prolog/examples/ex14.inp}%
\inclfull{prolog/examples/ex14.out}%
\inclfull{prolog/examples/ex15.inp}%
\inclfull{prolog/examples/ex15.out}%
\inclfull{prolog/examples/ex16.inp}%
\inclfull{prolog/examples/ex16.out}%
\inclfull{prolog/examples/ex17.inp}%
\inclfull{prolog/examples/ex17.out}%
\inclfull{prolog/examples/ex18.inp}%
\inclfull{prolog/examples/ex18.out}%
\inclfull{prolog/examples/ex19.inp}%
\inclfull{prolog/examples/ex19.out}%
\inclfull{prolog/examples/ex20.inp}%
\inclfull{prolog/examples/ex20.out}%
% End of appendix