Specification of DEDS Based on the Communicating Sequential Process

• 基于通信顺序进程的并发DEDS的规范和证实