信号流图的上下文等价性
Contextual Equivalence for Signal Flow Graphs
摘要：
我们扩展了信号流演算-经典的信号流图计算模型的组成帐户-包括仿射行为，并提供了一个新的操作语义。增加的表达能力，使我们能够定义一个规范的概念，上下文等价，我们表明，以符合指称平等。最后，我们将微积分的可实现片段：那些表示（仿射）信号流图计算的术语。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
