NFC processes mix synchronization and choice in one construct as described in [18].

• 就如在[18]中描述的，NFC过程在一个结构中混合了同步和选择。