# Contextual Equivalence for Signal Flow Graphs

arXiv: https://arxiv.org/abs/2002.08874 · HTML: https://mlsanity.com/paper/2002.08874/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 20 Feb 2020.

## Built on by (most cited first, 1 of 1)

- [Kindergarden quantum mechanics graduates (...or how I learned to stop gluing LEGO together and love the ZX-calculus)](https://mlsanity.com/paper/2102.10984/) (2021)

## Abstract (arXiv)

We extend the signal flow calculus---a compositional account of the classical signal flow graph model of computation---to encompass affine behaviour, and furnish it with a novel operational semantics. The increased expressive power allows us to define a canonical notion of contextual equivalence, which we show to coincide with denotational equality. Finally, we characterise the realisable fragment of the calculus: those terms that express the computations of (affine) signal flow graphs.