codice_6（分钟）精确的同步于信号codice_7（秒）的第60次出现。在更基础的层面，同步抽象消去了由于交错的（interleave）并发行为而导致的非确定性。这允许了确定性（deterministic）语义，因此使得同步式程序经受得起形式分析、验证和有保证的代码生成，并可用作形式化。相反的，在计算的异步模型中，在一个顺序的处理器上，语句codice_1可以实现为要么codice_9要么codice_10。这叫做“基于交错的非确定性”。异步模型的缺点是它在根本上不允许确定性语义（例如有竞争条件）