Reo: a channel-based coordination model for component composition, Mathematical Structures in Computer Science, vol.14, pp.329-366, 2004. ,
, , 2014.
Categories in control. CoRR, abs/1405, vol.6881, 2014. ,
Some algebraic aspects of signal processing, Linear Algebra and its Applications, vol.284, issue.1-3, pp.3-17, 1998. ,
(co)algebraic characterizations of signal flow graphs, To appear, 2014. ,
Rational series and their languages, EATCS Monographs on Theoretical Computer Science, vol.12, 1988. ,
URL : https://hal.archives-ouvertes.fr/hal-00619791
Interacting bialgebras are Frobenius, FoSSaCS '14, vol.8412, pp.351-365, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00989174
Interacting Hopf algebras. CoRR, abs/1403, vol.7048, 2014. ,
A basic algebra of stateless connectors, Theor Comput Sci, vol.366, pp.98-120, 2006. ,
Connector algebras for C/E and P/T nets' interactions, Log Meth Comput Sci, vol.9, issue.16, 2013. ,
Strong complementarity and non-locality in categorical quantum mechanics, LiCS'12, pp.245-254, 2012. ,
Span(Graph): an algebra of transition systems, AMAST '97, pp.322-336, 1997. ,
Composing PROPs. Theor App Categories, vol.13, pp.147-163, 2004. ,
Signal Processing and Linear Systems, 1998. ,
Categorical algebra, Bull Amer Math Soc, vol.71, pp.40-106, 1965. ,
Feedback Theory: I. Some Properties of Signal Flow Graphs. Massachusetts Institute of Technology, 1953. ,
A sound and complete calculus for finite stream circuits, LICS, 2010. ,
A tutorial on coinductive stream calculus and signal flow graphs, Theor. Comput. Sci, vol.343, issue.3, pp.443-481, 2005. ,
Dagger compact closed categories and completely positive maps: (extended abstract), Electr. Notes Theor. Comput. Sci, vol.170, pp.139-163, 2007. ,
A survey of graphical languages for monoidal categories, 2009. ,
Representations of Petri net interactions, CONCUR '10, 2010. ,
The behavioural approach to open and interconnected systems, IEEE Contr. Syst. Mag, vol.27, pp.46-99, 2007. ,