Semantics of Concurrent Computation