Till KTH:s startsida Till KTH:s startsida

Gruppwebben som samarbetsyta stängs 31 december 2026. Du som administratör behöver nu exportera gruppens innehåll och/eller radera gruppen.

Observera: Från och med den 1 oktober 2026 kommer delar av gruppwebben som inte längre används, successivt att stängas ned, exempelvis gruppwebbar som redan har flyttats eller varit inaktiva under en längre tid.

Mer information hittar du i nyheten: Gruppwebben och Social stänger hösten 2026. Stöd och instruktioner för hur du exporterar en gruppwebb finns i: Gruppwebben som samarbetsyta stängs hösten 2026.

Global state

How do we describe the state of a distributed system. What is a state of a global system and how do we know that we have recorded it properly? Can we say anything about properties of an execution by looking at recorded states.

Lärare Johan Montelius skapade sidan 9 september 2012

Johan Montelius redigerade 28 september 2014

How do we describe the state of a distributed system. What is a state of a global system and how do we know that we have recorded it properly? Can we say anything about properties of an execution by looking at recorded states.


* global.pdf