Feedback, trace and fixed-point semantics