《非交叉語義並行計算模型及其語義組合規則》是依託北京大學，由袁崇義擔任負責人的面上項目。
基本介紹
- 中文名：非交叉語義並行計算模型及其語義組合規則
- 項目負責人：袁崇義
- 項目類別：面上項目
- 依託單位：北京大學
- 批准號：69973003
- 申請代碼：F0201
- 負責人職稱：研究期限
- 研究期限：2000-01-01 至 2002-12-31
- 支持經費：13（萬元）
項目摘要
交叉語義假設是並行計算模型共同的語義基礎，其合理性卻沒有得到論證。人們追求並行程式系統的組合語義描述，迄今也沒有滿意的結果。上述現象的根本原因是缺乏對並行程式系統靜態結構的準確描述。本課題以Petri網結構為基礎，結合面向對象技術和UNITY程式設計方法，提出一種不依賴交叉語義假設並具有語義組合性質的並行計算模型。.
