论文标题
信号流图的上下文等效性
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.
