Semantics of infinite processes using generalized trees