Skip to Main content Skip to Navigation
Conference papers

Full Abstraction for Signal Flow Graphs

Filippo Bonchi 1, 2 Fabio Zanasi 2 Pawel Sobocinski 3 
1 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
Abstract : Network theory uses the string diagrammatic language of monoidal categories to study graphical structures formally, eschewing specialised translations into intermediate formalisms. Recently, there has been a concerted research focus on developing a network theoretic approach to signal flow graphs, which are classical structures in control theory, signal processing and a cornerstone in the study of feedback. In this approach, signal flow graphs are given a relational denotational semantics in terms of formal power series. Thus far, the operational behaviour of such signal flow graphs has only been discussed at an intuitive level. In this paper we equip them with a structural operational semantics. As is typically the case, the purely operational picture is too concrete – two graphs that are denotationally equal may exhibit different operational behaviour. We classify the ways in which this can occur and show that any graph can be realised – rewritten, using the graphical theory, into an executable form where the operational behavior and the denotation coincides.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01178437
Contributor : Filippo Bonchi Connect in order to contact the contributor
Submitted on : Tuesday, March 8, 2016 - 11:36:21 PM
Last modification on : Thursday, January 20, 2022 - 4:13:53 PM

Identifiers

Citation

Filippo Bonchi, Fabio Zanasi, Pawel Sobocinski. Full Abstraction for Signal Flow Graphs. Proceedings of the 42nd Annual Symposium on Principles of Programming Languages, 2015,, Jan 2015, Mumbai, India. ⟨10.1145/2676726.2676993⟩. ⟨hal-01178437v2⟩

Share

Metrics

Record views

255