Full Abstraction for Signal Flow Graphs - Archive ouverte HAL
Communication Dans Un Congrès Année : 2015

Full Abstraction for Signal Flow Graphs

Résumé

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.
Fichier non déposé

Dates et versions

hal-01178437 , version 1 (20-07-2015)
hal-01178437 , version 2 (08-03-2016)

Identifiants

Citer

Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi. Full Abstraction for Signal Flow Graphs. POPL'15 : 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2015, Mumbai, India. pp.515-526, ⟨10.1145/2676726.2676993⟩. ⟨hal-01178437v1⟩
301 Consultations
0 Téléchargements

Altmetric

Partager

More