贾亚德夫·米斯拉 多道程序设计的一门学科。分布式应用程序的编程理论。 （英语） Zbl 0999.68121号 计算机科学专著。纽约州纽约市：斯普林格。十八、第420页，138.99德国马克；新加坡法郎119.84；48.00英镑；$59.95 (2001). Jayadev Misras“多道程序设计学科-分布式应用程序编程理论”希望贡献理论和设计原则，以提高规范、抽象和模块化方面的生产力。在第一章中，作者介绍了他的编程模型。该模型认为程序通常由一组对象构成，这些对象由动作和/或方法组成。操作是自动执行的，方法是在调用时执行的。在第2章中，通过完全消除这些方法，只保留动作，简化了该模型。因此，对象不再能够通过过程调用进行通信，它们需要通过共享变量进行通信。此简化模型适用于组件之间的通信起次要作用且单个组件的计算是或主要关注的程序。第3章扩展了第2章的简化模型，使其更容易描述过程交互。此外，还详细讨论了程序组成问题。第4章讨论了一些小例子，目的是表明文献中典型的多道程序设计例子在作者的编程模型Seuss中具有简洁的表示。第5章和第6章考虑了项目财产安全和进度。第7章研究了一类新的性质，称为极大性。第八章提出了程序合成理论。在第9章中，作者介绍了包含闭包属性的条件属性。在第10章中，基于关系演算开发了Seuss程序的抽象模型。结果表明，每个过程都可以看作是程序状态上的二元关系。在第11章中，开发了在多处理器体系结构上实现Seuss程序的算法，其中处理器使用消息进行通信。在迄今为止开发的逻辑中，不可能从早期规范中推断出特定操作如何影响程序状态。在最后的第12章中，针对此类规范开发了一种机械。大多数章节都有大量的例子，包含参考书目注释和大量的解决方案练习。这本书的结尾是关于初等逻辑和代数的附录、参考列表和索引。审核人：Christoph Meinel（特里尔） 引用于11文件 MSC公司： 68问题55 计算理论中的语义学 60年第68季度 规范和验证（程序逻辑、模型检查等） 68-01 与计算机科学相关的介绍性说明（教科书、教程论文等） 关键词：规范;模块化;苏斯项目 软件：TLA公司 PDF格式BibTeX公司 XML格式引用 \textit{J.Misra}，多道程序设计的一门学科。分布式应用程序的编程理论。纽约州纽约市：施普林格（2001；Zbl 0999.68121）