Feedback, trace and fixed-point semantics P. Katis, Nicoletta Sabadini and Robert F.C. Walters RAIRO-Theor. Inf. Appl., 36 2 (2002) 181-194 Published online: 15 December 2002 DOI: 10.1051/ita:2002009