Semantics of Systems of Concurrent Processes