Observable Semantics and Dynamic Analysis ofComputational Processes