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

第２８卷第８期　　　 计算机应用与软件 Ｖｏｌ２８Ｎｏ．８ ２０１１年８月　　 ＣｏｍｐｕｔｅｒＡｐｐｌｉｃａｔｉｏｎｓａｎｄＳｏｆｔｗａｒｅ Ａｕｇ．２０１１ 基于 ＣＣＳ的信号量形式化建模与验证 １ ２ ３ １ 祁方民 　鱼　滨 　牟力科 　窦洪喜 １（中国人民银行西宁中心支行　青海西宁 ８１０００１） ２（西安电子科技大学　陕西西安７１００７１） ３（陕西职业技术学院　陕西西安７１０１００） 摘　要　　利用通信系统演算ＣＣＳ（ＣａｌｃｕｌｕｓｏｆＣｏｍｍｕｎｉｃａｔｉｎｇＳｙｓｔｅｍｓ），对用来解决进程间通信问题的信号量给出了形式化建模和 验证的方法，并利用该方法对以信号量机制解决生产者—消费者问题和哲学家进餐问题