Feedback, trace and fixed-point semantics
, and
RAIRO-Theor. Inf. Appl., 36 2 (2002) 181-194
Published online: 15 December 2002
DOI: 10.1051/ita:2002009
