thesis.mlf4

{\reset@font\mlffont\mtc@string\contentsline{figure}{\noexpand \leavevmode \numberline {4.1}{\ignorespaces Example of a History Clock for Action a\relax }}{\reset@font\mlffont 61}{figure.caption.37}}
{\reset@font\mlffont\mtc@string\contentsline{figure}{\noexpand \leavevmode \numberline {4.2}{\ignorespaces Refined Version of the Conflict Resolution Layer from Figure~\ref {fig:crp}\relax }}{\reset@font\mlffont 63}{figure.caption.38}}
{\reset@font\mlffont\mtc@string\contentsline{figure}{\noexpand \leavevmode \numberline {4.3}{\ignorespaces Refined Version of Scheduler $Sch_1$ from Figure~\ref {fig:schSR}\relax }}{\reset@font\mlffont 63}{figure.caption.39}}