A - Simulating on System C or SpecC the behavioral model of a system. Elaborations on specifications. B - Nodes and arcs. C - Seemless computing systems operating in the environment. D - Stale value is removed from all cache.