基于CCS的信号量形式化建模与验证

• 作者: 牟力科 祁方民 窦洪喜 鱼滨
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 信号量 CCS(通信系统演算) 同步树 形式化建模 进程代数
• 年，卷（期）: 2011,（8）
• 所属期刊栏目: 应用技术与研究
• 页码范围: 230-233
• 分类号: TP311
• 字数: 4455字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2011.08.068

摘要

利用通信系统演算CCS(Calculus of Communicating Systems),对用来解决进程间通信问题的信号量给出了形式化建模和验证的方法,并利用该方法对以信号量机制解决生产者一消费者问题和哲学家进餐问题进行建模、逻辑说明和验证.该方法具有一定通用性,并可将其推广到其他通过信号量机制解决进程通信的问题当中.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	鱼滨		20	126	7.0	10.0
2	牟力科		3	11	1.0	3.0