synchronize in dead?, alive?
assert process is dead when it fails