FARMER JONATHAN

Ensuring a correct program sequence in a dual-processor architecture