布林奇·汉森（Brinch Hansen，Per） 并发程序的体系结构。 （英语） Zbl 0424.68018号 自动计算中的Prentice-Hall级数。新泽西州恩格尔伍德悬崖：Prentice Hall，Inc.XVII，317页，31.00美元（1977年）。 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于1审查引用于25文件 MSC公司： 2002年8月 与计算机科学有关的研究展览会（专著、调查文章） 60年第68季度 规范和验证（程序逻辑、模型检查等） 68N25号 操作系统理论 65年第68季度 形式语言和自动机 68号01 软件理论中的一般主题 关键词：程序设计语言;编程风格;结构化程序设计;操作系统;系统编程;并发帕斯卡;并发进程;顺序Pascal PDF格式BibTeX公司 XML格式