随着多核处理器的发展，对并发程序的研究已成为程序设计的热点。然而，并发程序的交错执行存在不确定性，这导致了传统的测试、仿真、演......

动态下推网络（DPN,Dynamic Pushdown Networks）由一组能刻画动态创建线程的动态下推系统（DPDS,Dynamic Push Down Systems）组成.本文首......