Geodesic
Feedback, trace and fixed-point semantics
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 36 (2002) no. 2, pp. 181-194

Voir la notice de l'article provenant de la source Numdam

We introduce a notion of category with feedback-with-delay, closely related to the notion of traced monoidal category, and show that the Circ construction of [15] is the free category with feedback on a symmetric monoidal category. Combining with the Int construction of Joyal et al. [12] we obtain a description of the free compact closed category on a symmetric monoidal category. We thus obtain a categorical analogue of the classical localization of a ring with respect to a multiplicative subset. In this context we define a notion of fixed-point semantics of a category with feedback which is seen to include a variety of classical semantics in computer science.

DOI : 10.1051/ita:2002009
Classification : 68Q55, 68Q70, 18D10 
@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://geodesic.mathdoc.fr/articles/10.1051/ita:2002009/}
}
TY  - JOUR
AU  - Katis, P.
AU  - Sabadini, Nicoletta
AU  - Walters, Robert F. C.
TI  - Feedback, trace and fixed-point semantics
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 2002
SP  - 181
EP  - 194
VL  - 36
IS  - 2
PB  - EDP-Sciences
UR  - http://geodesic.mathdoc.fr/articles/10.1051/ita:2002009/
DO  - 10.1051/ita:2002009
LA  - en
ID  - ITA_2002__36_2_181_0
ER  - 
%0 Journal Article
%A Katis, P.
%A Sabadini, Nicoletta
%A Walters, Robert F. C.
%T Feedback, trace and fixed-point semantics
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2002
%P 181-194
%V 36
%N 2
%I EDP-Sciences
%U http://geodesic.mathdoc.fr/articles/10.1051/ita:2002009/
%R 10.1051/ita:2002009
%G en
%F ITA_2002__36_2_181_0
Katis, P.; Sabadini, Nicoletta; Walters, Robert F. C. Feedback, trace and fixed-point semantics. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 36 (2002) no. 2, pp. 181-194. doi: 10.1051/ita:2002009

Cité par Sources :