Coalgebraic Symbolic Semantics Filippo Bonchi Ugo Montanari Many formalisms modelling Interactive Systems Algebras - Syntax Coalgebras - Semantics Bialgebras – Semantics…