国家教育部博士点基金(99-018-411703)

作品数：3被引量：4H指数：1
导出分析报告
相关作者：李文军周晓聪李师贤马建更多>>
相关机构：中山大学香港城市大学南京大学更多>>
相关期刊：《计算机学报》《软件学报》更多>>
相关主题：并发模型程序设计语言PETRI网范畴论形式语义更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
动态优先系统及其应用
《软件学报》2001年第10期1555-1561,共7页李文军 周晓聪 李师贤 
高等学校博士点基金资助项目 (99- 0 18- 41170 3)~~
优先关系是并发系统控制的重要手段 ,常用于解决并发系统设计中的冲突问题 .在有界 P/ T系统的基础上提出一种动态优先系统 ,并分别给出它们的交错语义与真并发语义 .动态优先系统既可以作为并发与分布式系统的建模工具 ,也可以作为定...
关键词：并发模型 PETRI网 优先关系 动态优先系统 程序设计语言 
动态优先系统及其Petri网语义被引量：3
《计算机学报》2001年第10期1085-1094,共10页李文军 周晓聪 李师贤 马建 
国家自然科学基金 ( 79910 16 1989);高等学校博士点基金 ( 99-0 18-4 1170 3)资助
优先关系是并发系统控制的重要手段 .文中提出一种动态优先系统 (Σ,D) ,其中 Σ是有界 Petri网 ,D是描述变迁之间优先关系的动态结构 .然后采用变换技术分别给出安全的和有界的动态优先系统的 Petri网语义 :通过引入广义补位置和优先变...
关键词：并发模型 动态优先系统 Petni网 形式语义 程序设计语言 
并发模型的范畴论方法被引量：1
《中山大学学报（自然科学版）》2000年第z2期165-171,共7页李文军 周晓聪 李师贤 
高等学校博士学科点专项科研基金资助项目(99-018-411703)
范畴论是一种通用概念框架，可作为软件工程的理论基础．介绍范畴论不同于集合论的独特思维方式，并探讨将这些概念与思想作为数学工具应用到语义模型研究中的一般方法，最后给出利用范畴论研究并发模型以及模型间关系的应用实例．
关键词：并发模型 范畴论 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部