Concurrent computation model is one of the most important problems in theoretical computer science.
并发计算模型是计算机科学研究的重要问题之一。
The paper discusses the faithfulness of the behavior of concurrent programs based on interleaved computation modes.
讨论基于交替计算模式的并发程序执行行为的可信性问题。
The paper discusses the faithfulness of the behavior of concurrent programs based on interleaved computation modes.
讨论基于交替计算模式的并发程序执行行为的可信性问题。
应用推荐