Version:$0\mathrm{.}9$ StartHTML:$0000000105$ EndHTML:$0000009576$ StartFragment:$0000000141$ EndFragment:$0000009536$

Answer the following questions about the two following threads written in proof outlines. Here, $1,2$ and $3$

are statements. Remember, we only need to check if atomic statements cause interference.$$

$1$

$$

$\{$

$1\}$

$$

$1$

$$

$\{$

$$

$2$

$\}<1$

$>$

$$

$\{$

$3\}$

$$

$\{4$

$\}$

$2$

$$

$\{$

$1\}$

$<$

$$

$2$

$>$

;

$\{$

$$

$2$

$\}$

$$

$$

$2$

$\{$

$$

$3\}<$

$3$

$>$

$$

$\{$

$$

$4\}$

a$.$ List the interference freedom checks to decide whether $1$

interferes with

$$

$2$

$$

$.$

b$.$ List the interference freedom checks to decide whether $2$

$$

interferes with

$1$

$$

$.$