Liste des citations dans Numdam pour : Semantics of flowchart programs and the free Conway theories

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 32 (1998), p. 35-78 / Harvested from Numdam

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), p. 181-194 / Harvested from Numdam

Corradini, Andrea ; Gadducci, Fabio

Rewriting on cyclic structures : equivalence between the operational and the categorical description
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 33 (1999), p. 467-493 / Harvested from Numdam