Modeling and Verifying Concurrent Programs with Finite Chu Spaces - 杜旭涛 邢春晓 周立柱 (Journal of computer science and technology, 2010)
Keywords: Algebra; Algorithms; Artificial Intelligence; Behavior; Computer Science; Data Structures and Information Theory; Design; Enrichment; Exception handling; Information Systems Applications (incl.Internet); Mathematical analysis; Mathematical models; Program verification (computers); Programming languages; R&D; Regular Paper; Research & development; Semantics; Software; Software Engineering; Specifications; Theory of Computation; 同步机制; 并发程序; 并行编程语言; 异常处理; 有限空间; 进程代数; 验证算法; process algebra; Chu spaces; verification; denotational semantics; concurrency