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

多栈下推网络（MPDN）是利用多个栈来描述并发递归程序线程之间交互的一种下推系统模型.为了描述基于线程之间交互的实时并发递归程序,......