Not implemented definition
Examples of Not implemented in a sentence
Mutual Recursion mu X,Y @ (F(X,Y), G(X,Y)) Not implemented Table 1: Action constructors.
Reference: Report on the Secretariat (document AEWA/MOP 6.9) A flexible toolkit is produced, and distributed, providing a set of resource materials for awareness raising at the national level (CS 4.5) Not implemented.
Termination Stop only allows time to pass Chaos Chaos Not implemented Divergence Wait e does nothing for e time units, and then terminates.
Replicated sequential composition ; i in seq e @ A(i) Not implemented Replicated external choice [] i in set e @ A(i) offer the environment the choice of all ac- tions A(i) such that i is in the set e.
Alphabetised parallelism A [ns1| cs1 || cs2 |ns2] B Alphabetised parallelism (no state) A [cs1 || cs2] B Generalised parallelism A [|ns1 | cs | ns2|] B Not implemented Not implemented execute A and B in parallel synchronising on the events in cs.
Not implemented execute all processes A(i) in parallel, syn- chronising on all events.
Abstraction A \\ cs behave as A with the events in cs hidden Start deadline A startsby e Not implemented End deadline A endsby e Not implemented Channel renaming A[[ c <- nc ]] Not implemented Recursion mu X @ F(X) explicit definition of a recursive action.