@article{ITA_2002__36_2_181_0, author = {Katis, P. and Sabadini, Nicoletta and Walters, Robert F. C.}, title = {Feedback, trace and fixed-point semantics}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, pages = {181--194}, publisher = {EDP-Sciences}, volume = {36}, number = {2}, year = {2002}, doi = {10.1051/ita:2002009}, mrnumber = {1948768}, zbl = {1050.68100}, language = {en}, url = {http://www.numdam.org/articles/10.1051/ita:2002009/} }