Fig. 11

An example of a simple history \((G',S',\Phi ')\). The history \((G,S,\Phi )\) in Fig. 3 is an inferable version of \((G',S',\Phi ')\)
An example of a simple history \((G',S',\Phi ')\). The history \((G,S,\Phi )\) in Fig. 3 is an inferable version of \((G',S',\Phi ')\)