Introduzione allo studio dell'informatica teorica: differenze tra le versioni

Questa osservazione consente di porre l'accento sul concetto di passo; sempre secondo Lamport ci sono tre tecniche principali per la rappresentazione di un singolo passo: l'''azione'', lo ''stato'' oppure la ''coppia stato-azione''.

Nelle sezioni successive offriremo qualche dettaglio circa le tre modalità appena introdotte.

 

==Il passo come stato==