G. Berry and L. Cosserat, The esterel synchronous programming language and its mathematical semantics, Seminar on Concurrency, pp.389-448, 1985.

D. R. Ghica, Function interface models for hardware compilation, Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011), pp.131-142, 2011.
DOI : 10.1109/MEMCOD.2011.5970519

J. Girard and L. Logic, Geometry of interaction II : deadlock-free algorithms Locus solum: From the rules of logic to the logic of rules, Contemporary Mathematics n o 92 Geometry of interaction V: Logic in the hyperfinite factor, pp.1-101, 1987.

E. Haghverdi, A categorical approach to linear logic, geometry of proofs and full completeness, 2000.

R. Alur, A. Thomas, and . Henzinger, Reactive modules, Formal Methods in System Design, pp.7-48, 1999.

A. Guernic, Christian Jacquemot, Synchronous programming with events and relations: the SIGNAL language and its semantics, Science of Computer Programming, vol.16, pp.103-149, 1991.

S. Mac and L. , Categories for the working mathematician, Graduate Texts in Mathematics, issue.5, 1971.

R. Dan, . Ghica, N. Mohamed, and . Menaa, On the compositionality of round abstraction, CONCUR, pp.417-431, 2010.

S. Abramsky, M. Guy, and . Cusker, Game semantics, Logic and Computation : Proceedings of the 1997 Marktoberdorf Summer School, 1998.

P. Halbwachs, A. John, and . Plaice, Lustre: a declarative language for real-time programming, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pp.178-188, 1987.

D. Harel-;-amir and . Pnueli, On the development of reactive systems, Logics and models of concurrent systems (Krzysztof R. Apt, pp.477-498, 1985.

N. Halbwachs-;-fabienne-lagnier-;-pascal-raymond, Synchronous observers and the verification of reactive systems, Proceedings of the Third International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology AMAST '93, pp.83-96, 1994.

S. Haghverdi, Geometry of interaction and linear combinatory algebras, Mathematical. Structures in Comp. Sci, vol.12, issue.5, pp.625-665, 2002.

A. Benveniste, P. Caspi, A. Stephen, and . Edwards, Nicolas Halbwachs ; Paul Le Guernic The synchronous languages twelve years later, Proceedings of the IEEE, pp.64-83, 2003.

J. Girard, Yves Lafont, Proofs and Types », 1989.

A. Street, Traced monoidal categories, Mathematical Proceedings of the Cambridge Philosophical Society, vol.119, pp.447-468, 1996.