It then discusses the structured specification style and the transition oriented speciflcation style, which is based on an example of a virtual ring mutual exclusion protocol.
着重以一种虚环互斥协议为例，对结构化形式描述风格和转移形式描述风格进行探讨。
It then discusses the structured specification style and the transition oriented speciflcation style, which is based on an example of a virtual ring mutual exclusion protocol.
着重以一种虚环互斥协议为例，对结构化形式描述风格和转移形式描述风格进行探讨。
应用推荐