A Categorical Semantics of Signal Flow Graphs - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

A Categorical Semantics of Signal Flow Graphs

Résumé

We introduce IH, a sound and complete graphical theory of vector subspaces over the field of polynomial fractions, with relational composition. The theory is constructed in modular fashion, using Lack's approach to composing PROPs with distributive laws. We then view string diagrams of IH as generalised stream circuits by using a formal Laurent series semantics. We characterize the subtheory where circuits adhere to the classical notion of signal flow graphs, and illustrate the use of the graphical calculus on several examples.
Fichier principal
Vignette du fichier
sfg.pdf (4.71 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02134182 , version 1 (20-05-2019)

Identifiants

  • HAL Id : hal-02134182 , version 1

Citer

Filippo Bonchi, Pawel Sobociński, Fabio Zanasi. A Categorical Semantics of Signal Flow Graphs. CONCUR 2014 - Concurrency Theory - 25th International Conference, Sep 2014, Rome, Italy. ⟨hal-02134182⟩
169 Consultations
190 Téléchargements

Partager

Gmail Facebook X LinkedIn More