一个描述内存工作区操作的公理语义方法

本文定义了一个内存工作区处理语言ＭＰＬ，并提出了用于描述语言的形式化方法，作为示例，文中最后给出一个程序部分正确性的验证提纲。     

多任务并行调度系统中的一种订票算法

本文提出多道相关任务系统并行调度方法,文中引入了一种描述任务资源分配的数据基ＴＣＢ（任务控制块）,并提出一个用于任务定序的“订票”算法,简称ＢＴ算法,改善了系统的处理能力。