Name
Abstract | ||
|---|---|---|
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. |
Year | DOI | Venue |
|---|---|---|
2020 | 10.1007/978-3-030-45231-5_5 | FoSSaCS |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Filippo Bonchi | 1 | 579 | 47.04 |
| Robin Piedeleu | 2 | 31 | 3.27 |
| Paweł Sobociński | 3 | 609 | 45.57 |
| Fabio Zanasi | 4 | 110 | 13.89 |