同步 $\pi$-演算中的确定性

S-$\pi$-演算是一种基于 SL 模型的同步 $\pi$-演算。后者是 Esterel 模型的一种松弛形式，其中对某一时刻内信号缺失的响应只能发生在下一时刻。在本工作中，我们基于适当的标记转换系统和双模拟概念，提出并刻画了 S-$\pi$-演算的组合语义。基于此语义框架，我们探讨了确定性概念及其相关的（局部）合流性概念。