摘要: 1.引言本报告定义并发Pascal——一个用于书写计算机操作系统的结构程序设计的抽象的程序设计语言。它用并发的进程、管程和类程扩充了顺序程序设计语言Pascal。本报告的中心部分是关于数据类型的那一节。它基于这样的假定,即数据及其上的操作是计算的不可分离的特征,不能将其分别对待。每一种数据类型都定义可为其值的常量以及在这些值上的操作和语句。