仿射函数在基于信号通信中的应用
On affine usages in signal-based communication
摘要：
我们描述了一个类型系统的同步π演算正式的概念，仿射使用基于信号的通信。特别是，我们确定了数量有限的用法，保持亲和力，可以组成。作为一个主要的应用程序的系统，我们表明，类型化的程序是确定性的。
英文摘要：
We describe a type system for a synchronous pi-calculus formalising the notion of affine usage in signal-based communication. In particular, we identify a limited number of usages that preserve affinity and that can be composed. As a main application of the resulting system, we show that typable programs are deterministic.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
