Foundations of information theory and signal abstraction.

Deterministic estimation of state under dynamic conditions.

Temporal ordering as a condition for distributed consistency.

Interpretive conditions of perception in human-system interaction.

Linearizability as a formal criterion of valid concurrent state transition.