Theory: stop

Parents


Type constants


Term constants


Axioms


Definitions

STOP
|- !x. (ALPHA (STOP x) = x) /\ (TRACES (STOP x) = {[]})

Theorems

IS_PROCESS_STOP
|- !A. IS_PROCESS (A,{[]})
ALPHA_STOP
|- !x. ALPHA (STOP x) = x
TRACES_STOP
|- !x. TRACES (STOP x) = {[]}