Atomicity

Changes to the state are atomic:

- A jump from the initial state to the result state

without any observable intermediate state.

- All or nothing ( Commit / Abort ) semantics.

- Changes include:

- Database changes.

- Messages to outside world.

- Actions on transducers.

(testable / untestable)