MSVL中异步通信方法的研究与实现

摘要	第1-4页
Abstract	第4-7页
第一章 绪论	第7-13页
·研究背景	第7-9页
·时序逻辑程序设计语言	第9-10页
·时序逻辑	第9页
·时序逻辑程序设计语言	第9-10页
·研究目的及章节安排	第10-13页
第二章 时序逻辑程序设计语言MSVL	第13-27页
·投影时序逻辑PTL	第13-18页
·语法	第13-14页
·语义	第14-17页
·联结词的扩充	第17-18页
·时序逻辑程序设计语言MSVL	第18-21页
·语法和语义	第18-20页
·Framing	第20-21页
·MSVL解释器	第21-27页
·基本原理	第21-24页
·基本框架及功能描述	第24-27页
第三章 MSVL中的异步通信	第27-41页
·通信	第27-30页
·共享存储区	第27-29页
·消息传递	第29-30页
·进程	第30-31页
·通道	第31-32页
·通信命令	第32-37页
·MSVL解释器中的实现	第37-41页
·词法和语法分析	第37-38页
·语义分析	第38-41页
第四章 应用实例	第41-57页
·图书价格查询服务	第41-45页
·E-marketplace	第45-49页
·多方合同签署协议	第49-57页
第五章 总结与展望	第57-59页
·总结	第57-58页
·展望	第58-59页
致谢	第59-61页
参考文献	第61-65页
作者在读期间的研究成果	第65-67页
附录A	第67-69页
附录B	第69-77页