-
typical:property,
-
desirable:property,
-
global:property,
-
level:property,
-
formal:property,
-
functional:property,
-
desired:property,
-
mathematical:property,
-
behavioral:property,
-
simple:property,
-
independent:property,
-
several:property,
-
concrete:property,
Category Nuances for deadlock_freedom:
-
behavioral,
-
typical,
-
mathematical,
-
global,
-
formal,
-
concrete,
-
functional,
-
level,
-
desired,
-
independent,
-
simple,
-
desirable,
-
several,
Simple Categories for deadlock_freedom: