Attention

The Theory is now available at NeKernel.org.

Abstract:

An execution domain is defined as previously stated here.

An execution authority is responsible for defining whose semantics may be used for an execution context.

A trait is a set of formal rules defining the semantic concepts of an execution context.

Let A be an execution authority of type T where T is an traits of an execution context.

Properties:

Let C denote an execution domain in an execution context E. Let Z denote an execution domain in an execution context X.

• If X does not equal or is not semantically substitutable with Z -- or vice versa. Then C shall not equal to Z.
• If Z or C are defined as null execution context, then the said context -- defined as N is not equal to (!N).

Author:

• Amlal El Mahrouss - amlal@nekernel.org