Why do we need System Models?

To be able to answer questions like:
Can we rely on the network?
What happens if a node crashes?
Do nodes wait for each other when they compute things?
Can we tolerate a node or network connection to be down for some time?

Diskussion